The bear eats the tiger. The bear needs the squirrel. The squirrel eats the bear. The squirrel eats the tiger. The squirrel is rough. The squirrel likes the bear. The tiger is cold. If someone is cold then they need the bear. If someone needs the bear then they eat the bear.
The bear needs the squirrel.
@0: The bear eats the tiger.[(triple1)] The bear needs the squirrel.[(triple2)] The squirrel eats the bear.[(triple3)] The squirrel eats the tiger.[(triple4)] The squirrel is rough.[(triple5)] The squirrel likes the bear.[(triple6)] The tiger is cold.[(triple7)] @1: The tiger needs the bear.[(((triple7) -> rule1))] @2: The tiger eats the bear.[(((((triple7) -> rule1)) -> rule2))]