The bear eats the mouse. The bear needs the cow. The cow does not chase the bear. The cow eats the bear. The cow eats the mouse. The cow needs the mouse. The mouse does not eat the cow. If something eats the bear then it does not eat the cow. If the bear is young then the bear needs the cow.
The cow does not need the cow.
@0: The bear eats the mouse.[(triple1)] The bear needs the cow.[(triple2)] The cow does not chase the bear.[(triple3)] The cow eats the bear.[(triple4)] The cow eats the mouse.[(triple5)] The cow needs the mouse.[(triple6)] The mouse does not eat the cow.[(triple7)] @1: The cow does not eat the cow.[(((triple4) -> rule1))]