The cow chases the dog. The dog visits the cow. If something chases the dog then the dog chases the cow. If something chases the cow then it chases the dog.
The cow visits the dog.
@0: The cow chases the dog.[(triple1)] The dog visits the cow.[(triple2)] @1: The dog chases the cow.[(((triple1) -> rule1))] @2: The dog chases the dog.[(((((triple1) -> rule1)) -> rule2))]