The cat sees the cow. The cow sees the squirrel. The rabbit chases the cow. The squirrel sees the cow. If someone chases the cow then the cow visits the squirrel. If someone sees the squirrel and the squirrel sees the cow then the cow chases the squirrel.
The cow sees the squirrel.
@0: The cat sees the cow.[(triple1)] The cow sees the squirrel.[(triple2)] The rabbit chases the cow.[(triple3)] The squirrel sees the cow.[(triple4)] @1: The cow chases the squirrel.[(((triple2 triple4) -> rule2))] The cow visits the squirrel.[(((triple3) -> rule1))]