The bear is nice. The cat does not chase the rabbit. The mouse is young. The rabbit is red. If something is red then it eats the mouse. If the cat likes the rabbit and the rabbit chases the bear then the rabbit does not eat the bear. If the cat is nice and the cat eats the bear then the bear is not big. If something likes the mouse then it likes the bear. If something is red then it likes the mouse. If something likes the mouse then the mouse is not nice. If the bear eats the cat and the bear is young then the bear does not chase the rabbit. If something likes the bear then the bear eats the rabbit.
The mouse does not eat the mouse.
@0: The bear is nice.[(triple1)] The cat does not chase the rabbit.[(triple2)] The mouse is young.[(triple3)] The rabbit is red.[(triple4)] @1: The rabbit eats the mouse.[(((triple4) -> rule1))] The rabbit likes the mouse.[(((triple4) -> rule5))] @2: The mouse is not nice.[(((((triple4) -> rule5)) -> rule6))] The rabbit likes the bear.[(((((triple4) -> rule5)) -> rule4))] @3: The bear eats the rabbit.[(((((((triple4) -> rule5)) -> rule4)) -> rule8))]