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?