The cat is kind. The cat likes the rabbit. The mouse is cold. The mouse is green. The mouse is not rough. The mouse is young. The rabbit chases the cat. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is kind. The rabbit is young. The rabbit likes the cat. If something likes the mouse then it is young. If something chases the rabbit then it is young. If something eats the cat then the cat does not eat the mouse. If something eats the mouse then the mouse eats the rabbit. If something is green and rough then it chases the mouse. If something eats the rabbit and the rabbit chases the cat then it eats the cat. If the rabbit is rough then the rabbit does not chase the mouse. If something chases the cat and it is young then the cat is not rough.
The rabbit likes the mouse.
@0: The cat is kind.[(triple1)] The cat likes the rabbit.[(triple2)] The mouse is cold.[(triple3)] The mouse is green.[(triple4)] The mouse is not rough.[(triple5)] The mouse is young.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit chases the mouse.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is young.[(triple11)] The rabbit likes the cat.[(triple12)] @1: The cat is not rough.[(((triple7 triple11) -> rule8))] The mouse eats the rabbit.[(((triple9) -> rule4))] @2: The mouse eats the cat.[(((((triple9) -> rule4) triple7) -> rule6))] @3: The cat does not eat the mouse.[(((((((triple9) -> rule4) triple7) -> rule6)) -> rule3))]