The cow chases the dog. The cow visits the dog. The dog visits the cow. If someone is nice and red then they visit the cow. If someone chases the dog then they are nice. If the dog chases the cow then the dog is red. If someone chases the dog and they eat the dog then they eat the cow. If someone is red then they visit the dog. Red people are round. If someone chases the cow then they visit the dog. If the dog visits the cow and the cow chases the dog then the cow visits the dog.
The cow chases the dog.
@0: The cow chases the dog.[(triple1)] The cow visits the dog.[(triple2 OR ((triple3 triple1) -> rule8))] The dog visits the cow.[(triple3)] @1: The cow is nice.[(((triple1) -> rule2))]