Sejam as seguintes proposições
- se Marcelo cortou o cabelo, então ele não foi ao cinema.
- se Marcelo foi ao cinema, então ele não jantou em casa.
- se Thiago fez a barba, então ele tomou banho.
- se Thiago não tomou banho, então ele não foi ao teatro.
Considere que Marcelo jantou em casa e Thiago foi ao teatro. Então