The bear eats the mouse. The bear needs the squirrel. The cat eats the bear. The cat needs the bear. The mouse needs the bear. The squirrel is cold. The squirrel needs the cat. If something visits the squirrel then the squirrel visits the bear. If something eats the squirrel then it needs the bear. If something is big then it needs the bear. If something needs the squirrel then it visits the squirrel. If something needs the mouse and it is nice then the mouse visits the cat. If something visits the bear then it eats the mouse.
The squirrel visits the bear.
@0: The bear eats the mouse.[(triple1)] The bear needs the squirrel.[(triple2)] The cat eats the bear.[(triple3)] The cat needs the bear.[(triple4)] The mouse needs the bear.[(triple5)] The squirrel is cold.[(triple6)] The squirrel needs the cat.[(triple7)] @1: The bear visits the squirrel.[(((triple2) -> rule4))] @2: The squirrel visits the bear.[(((((triple2) -> rule4)) -> rule1))] @3: The squirrel eats the mouse.[(((((((triple2) -> rule4)) -> rule1)) -> rule6))]