///
Laís tem três gatos: um persa, um siamês e um angorá. Um dos gatos se chama Bolinha, o outro se chama Elly, e o outro se chama Mingau. Têm-se as seguintes informações:
I. ou o gato persa se chama Bolinha, ou o angorá se chama Bolinha.
II. ou o persa se chama Elly, ou o siamês se chama Mingau.
III. ou o angorá se chama Mingau, ou o siamês se chama Mingau.
IV. ou o siamês se chama Elly, ou o angorá se chama Elly.
Portanto os nomes dos gatos persa, siamês e angorá são, respectivamente,