Se João não vai ao jogo, então Maria fica em casa. Se Maria fica em casa, então Rita vai visitá-la. Se Rita vai visitar Maria, então Cloves vai ao jogo. Sabe-se que Cloves não foi ao jogo. Logo,
Se João não vai ao jogo, então Maria fica em casa. Se Maria fica em casa, então ...
Questão de Agrimensura da banca CESGRANRIO aplicada no concurso Petrobras (2011). Confira a resolução completa abaixo: