The cow chases the dog. The cow eats the dog. The cow is big. The cow is round. The cow is young. The dog chases the cow. The dog eats the cow. The dog is nice. The dog is young. The dog visits the cow. If someone chases the dog then they eat the cow. If someone eats the cow and they are round then they visit the dog.
The cow visits the cow.
@0: The cow chases the dog.[(triple1)] The cow eats the dog.[(triple2)] The cow is big.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The dog chases the cow.[(triple6)] The dog eats the cow.[(triple7)] The dog is nice.[(triple8)] The dog is young.[(triple9)] The dog visits the cow.[(triple10)] @1: The cow eats the cow.[(((triple1) -> rule1))] @2: The cow visits the dog.[(((((triple1) -> rule1) triple4) -> rule2))]