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:

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,