Se Sílvio distribuiu as cartas, então Marta ganhou o jogo para Joana. Se Sílvio não ganhou o jogo para Joana, então ele distribuiu as cartas. Sabendo-se que Marta não ganhou o jogo para Joana, conclui-se corretamente que