Se José não bebe, ele visita o irmão. Se José bebe, ele reci...
Se José não bebe, ele visita o irmão. Se José bebe, ele recita versos. Se José não visita o irmão, ele não recita versos. Se José recita versos, ele não visita o irmão. Segue-se, portanto, que José: