Se Algacyr está trabalhando, então não é domingo. Se é domingo, então Algacyr usa chinelo e moletom.
Quando Algacyr está trabalhando ou ele usa o computador ou ele usa uma máquina de escrever. Algacyr só
usa o computador se estiver usando chinelo. Algacyr só
usa máquina de escrever se estiver usando moletom.
Algacyr saiu de casa usando chinelo, mas não está
usando moletom, logo é verdadeiro que