André é inocente ou Beto é inocente. Se Beto é inocente, então Caio é culpado. Caio é inocente se e somente se Dênis é culpado. Ora, Dênis é culpado. Logo
André é inocente ou Beto é inocente. Se Beto é inocente, então Caio é culpado. Caio é inocente se e somente se Dênis é culpado. Ora, Dênis é culpado. Logo
