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,