João, Joaquim, Maria e Ana trabalham juntos. José é contratado e sabe-se que se José fizer amizade com João e Joaquim então não fará amizade com Ana. Se José não fizer amizade com Ana então não fará amizade com Maria.
Portanto, se José fizer amizade com Maria podemos afirmar que: