The bear chases the cat. The cat chases the bear. The squirrel eats the cat. If something eats the cat then it eats the squirrel. If the bear sees the cat and the cat eats the bear then the cat sees the squirrel.
The squirrel does not eat the cat.
@0: The bear chases the cat.[(triple1)] The cat chases the bear.[(triple2)] The squirrel eats the cat.[(triple3)] @1: The squirrel eats the squirrel.[(((triple3) -> rule1))]