Considere o seguinte conjunto de fatos
conhecidos sobre garotas em uma determinada
casa:
1- Se existe uma garota na sala, então ela
tem cabelo preto.
2- Toda garota de cabelo preto tem olhos
castanhos.
3- Não há garotas de olho castanho no
banheiro.
4- Toda garota loira tem namorado.
5- Existe uma garota no banheiro que tem
namorado.
O que se pode inferir dedutivamente destas
hipóteses?