The bear needs the tiger. The cow eats the tiger. The squirrel is rough. The tiger is nice. If something sees the bear then it needs the squirrel. If something sees the cow and the cow sees the tiger then the cow needs the bear. If something eats the cow then the cow sees the bear. If something needs the tiger then the tiger eats the cow. If something is rough then it sees the cow. If something needs the squirrel then the squirrel needs the cow.
The cow sees the bear.
@0: The bear needs the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The squirrel is rough.[(triple3)] The tiger is nice.[(triple4)] @1: The squirrel sees the cow.[(((triple3) -> rule5))] The tiger eats the cow.[(((triple1) -> rule4))] @2: The cow sees the bear.[(((((triple1) -> rule4)) -> rule3))] @3: The cow needs the squirrel.[(((((((triple1) -> rule4)) -> rule3)) -> rule1))] @4: The squirrel needs the cow.[(((((((((triple1) -> rule4)) -> rule3)) -> rule1)) -> rule6))]