Enunciados de questões e informações de concursos
Se Ludwig entende de Lógica, então há um rinoceronte na sala. Se há um rinoceronte na sala, então Bertrand não entende de Lógica. Se Bertrand não entende de Lógica, então George é culpado. Mas George não é culpado. Logo: