Se Bento beija Geralda, então Geralda vai à festa, então Cláudia fica no trabalho.
Se Cláudia fica no trabalho, então Richard beija Cláudia. Ora, Richard não beija Cláudia, logo,
Se Bento beija Geralda, então Geralda vai à festa, então Cláudia fica no trabalho.
Se Cláudia fica no trabalho, então Richard beija Cláudia. Ora, Richard não beija Cláudia, logo,
