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