Eu já vi problemas neste estilo... Vou tentar resolver deste modo neste problema...Vamos ver se dá certo:
No jeito que eu conheço a gente considera as coisas como letras. Assim:
Animais: A
Gatos: G
Animais de Estimação: AE
Animais que gostam de contemplar a Lua: AGCL
Animais que Detesto: AD
Animais que evito: AEV
Animais Carnívoros: AC
Animais que vagueiam durante a noite: AVDN
Animais Que matam ratos: AQMR
Animais Que falam comigo: AQFC
Cangurus: C
Daí, substituíndo, ficaria assim:
I. Os únicos animais que existem nesta casa são gatos.
A -> G
II. Todo animal que é de estimação, gosta de contemplar a lua.
AE -> AGCL ou AGCL -> AE
III. Quando detesto um animal, evito-o.
AEV -> AD
IV. Nenhum animal é carnívoro, a não ser que vagueiem durante a noite.
AC -> AVDN
V. Nenhum gato deixa de matar ratos.
G -> AQMR
VI. Nenhum animal falou comigo, exceto quando estão nesta casa.
AQFC -> A
VII. Os cangurus são animais de estimação.
C -> AE
VIII. Apenas animais carnívoros matam ratos.
AQMR -> AC
IX. Eu detesto animais que não falem.
AD -> ñAQFC
PROVAVELMENTE FALTOU UMA OUTRA AFIRMAÇÃO, PARA PODER CONCRETIZAR A LÓGICA, E SERIA ESTA:
X. Os animais que vagueiam durante a noite gostam de contemplar a lua.
AVDN -> AGCL
Agora, é só seguir um caminho.
Partindo da SUPOSIÇÃO de que a resposta será uma excclusão de um animal, usarei a seguinte afirmação como início:
AEV -> AD
Então, ficará assim:
AEV -> AD -> ñAQFC -> ñA -> ñG -> ñAQMR -> ñAC -> ñAVDN -> ñAGCL -> ñAE -> ñC
O que resultaria na afirmação: Eu evito animais que não sejam cangurus.
Certo?