Considere as seguintes premissas: • Se apenas um entre João...
• Se apenas um entre João e Maria mora no bairro do Butantã, então o elefante é azul.
• Se João não mora do bairro do Butantã, então a galinha é verde.
• Se Maria mora no bairro do Butantã, então o cavalo é amarelo.
• O elefante não é azul.
Logo,