As cinco declarações seguintes são verdadeiras.

• Se X acontece, então Y não acontece.
• Se K acontece, então X acontece.
• K acontece ou W acontece.
• Se W não acontece, então Z não acontece.
• Y aconteceu.

Conclui-se que