Se João estuda então João passa na prova. Se João passa na prova então João é nomeado. Se João é nomeado então João fica feliz. Sabe-se que João não está feliz, logo conclui-se que:
