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