https://www.passeidireto.com/pergunta/126427891/pode-se-concluir-logicamente-que-a-joao-saiu-de-casa-b-joao-nao-saiu-de-casa-c-o