The cat visits the cow. The cow is kind. The lion visits the cat. The squirrel sees the cat. If the cat visits the cow then the cow chases the cat.
The squirrel sees the cow.
@0: The cat visits the cow.[(triple1)] The cow is kind.[(triple2)] The lion visits the cat.[(triple3)] The squirrel sees the cat.[(triple4)] @1: The cow chases the cat.[(((triple1) -> rule1))]