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