Megoldás

Számtalan lehetséges felbontás közül adunk meg egyet. A terminusokat az átláthatóság kedvéért paraméterekkel rövidítjük: A: e házban él; B: macska; C: alkalmas kedvencnek; D: szereti a holdat bámulni; E: utálom; F: elkerülöm; G: húsevő; H: éjjel jár zsákmány után; I: egeret fog; J: vonzódik hozzám; J': nem vonzódik hozzám; K: kenguru.

(2) Minden D C.
(7) Egyetlen K sem C.
Tehát: (11) Egyetlen K sem D. (Camestres)
(10) Minden H D.
(11) Egyetlen K sem D.
Tehát: (12) Egyetlen K sem H. (Camestres)
(4) Minden G H.
(12) Egyetlen K sem H.
Tehát: (13) Egyetlen K sem G. (Camestres)
(8) Minden I G.
(13) Egyetlen K sem G.
Tehát: (14) Egyetlen K sem I. (Camestres)
(5) Minden B I.
(14) Egyetlen K sem I.
Tehát: (15) Egyetlen K sem B. (Camestres)
(1) Minden A B.
(15) Egyetlen K sem B.
Tehát: (16) Egyetlen K sem A. (Camestres)
(6) Minden J A.
(16) Egyetlen K sem A.
Tehát: (17) Egyetlen K sem J. (Camestres)

Az egyszerűség kedvéért (17) helyett a vele ekvivalens (17') állítással dolgozunk tovább: Egyetlen kenguru sem vonzódik hozzám annyit tesz, mint hogy minden kengurura igaz, hogy nem vonzódik hozzám.

(9) Minden J' E.
(17') Minden K J'.
Tehát: (18) Minden K E. (Barbara)
(3) Minden E F.
(18) Minden K E.
Tehát: (K) Minden K F. (Barbara)