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
X também aconteceu.
K também aconteceu.
W também aconteceu.
Z não aconteceu.
Z também aconteceu.
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...