The bear chases the cow. The bear needs the cow. The bear needs the mouse. The cow chases the mouse. The cow does not eat the mouse. The cow is not young. The mouse is not nice. If the cow eats the bear and the bear eats the cow then the bear does not chase the mouse. If something eats the cow then it chases the cow. If something chases the cow and the cow needs the mouse then the cow is red. If something chases the mouse then it needs the mouse. If something chases the cow and the cow does not chase the bear then the bear is big. If something needs the mouse and it does not need the bear then the bear chases the cow. If something eats the cow and the cow chases the mouse then the mouse eats the bear. If something is red then it does not eat the bear.
The bear does not chase the bear.
@0: The bear chases the cow.[(triple1)] The bear needs the cow.[(triple2)] The bear needs the mouse.[(triple3)] The cow chases the mouse.[(triple4)] The cow does not eat the mouse.[(triple5)] The cow is not young.[(triple6)] The mouse is not nice.[(triple7)] @1: The cow needs the mouse.[(((triple4) -> rule4))] @2: The cow is red.[(((triple1 ((triple4) -> rule4)) -> rule3))] @3: The cow does not eat the bear.[(((((triple1 ((triple4) -> rule4)) -> rule3)) -> rule8))]