The bear eats the cat. The cat is green. The cat needs the cow. The cat needs the squirrel. The cat sees the bear. The cow sees the squirrel. The squirrel sees the cat. If the bear eats the cat then the bear sees the squirrel. If someone needs the cat then they are rough.
The bear sees the bear.
@0: The bear eats the cat.[(triple1)] The cat is green.[(triple2)] The cat needs the cow.[(triple3)] The cat needs the squirrel.[(triple4)] The cat sees the bear.[(triple5)] The cow sees the squirrel.[(triple6)] The squirrel sees the cat.[(triple7)] @1: The bear sees the squirrel.[(((triple1) -> rule1))]