The bear chases the squirrel. The bear is young. The bear needs the squirrel. The bear sees the mouse. The mouse chases the squirrel. The squirrel chases the bear. The squirrel chases the mouse. If something is kind then it chases the mouse. If something sees the squirrel then it needs the squirrel. If something is young then it chases the mouse.
The mouse is rough.
@0: The bear chases the squirrel.[(triple1)] The bear is young.[(triple2)] The bear needs the squirrel.[(triple3)] The bear sees the mouse.[(triple4)] The mouse chases the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel chases the mouse.[(triple7)] @1: The bear chases the mouse.[(((triple2) -> rule3))]