The cow chases the dog. The dog is big. The mouse chases the dog. If the mouse chases the dog then the mouse eats the dog. If someone eats the dog then the dog chases the cow.
The cow chases the dog.
@0: The cow chases the dog.[(triple1)] The dog is big.[(triple2)] The mouse chases the dog.[(triple3)] @1: The mouse eats the dog.[(((triple3) -> rule1))] @2: The dog chases the cow.[(((((triple3) -> rule1)) -> rule2))]