Se Fernando não bebe, ele visita Ana. Se Fernando bebe, ele
Se Fernando não bebe, ele visita Ana. Se Fernando bebe, ele lê poemas. Se Fernando não visita Ana, ele não lê poemas. Se Fernando lê poemas, ele não visita Ana. Segue-se, portanto, que Fernando: