Se João está cansado, então vai dormir. Se João vai dormir, Maria não assiste à TV. Se Maria não assiste à TV, então, faz a janta. Certo dia, Maria não fez a janta, logo,
Se João está cansado, então vai dormir. Se João vai dormir, Maria não assiste à TV. Se Maria não assiste à TV, então, faz a janta. Certo dia, Maria não fez a janta, logo,