Considere as sentenças a seguir:
Se Lara estuda então Pedro trabalha. Se Pedro trabalha então Rui é desempregado. Se Rui é desempregado então Tadeu é chefe.
Sabe-se que Tadeu não é chefe. Portanto, é válido concluir que: