The bear is young. The cow needs the bear. The mouse needs the cow. The squirrel eats the mouse. If something is green then it eats the squirrel. If the bear needs the squirrel then the bear eats the squirrel. If something eats the cow then it visits the bear. If something is young then it visits the mouse. If the squirrel visits the cow then the cow eats the bear. If something needs the cow and it eats the squirrel then it eats the mouse.
The bear is not young.
@0: The bear is young.[(triple1)] The cow needs the bear.[(triple2)] The mouse needs the cow.[(triple3)] The squirrel eats the mouse.[(triple4)] @1: The bear visits the mouse.[(((triple1) -> rule4))]