The cow needs the dog. The dog is rough. If something visits the dog then it is green. If something visits the cow and it visits the dog then the dog is nice. If something is green and it visits the dog then the dog is round. If something chases the dog then it needs the cow. If something is rough then it visits the dog. If something chases the cow then the cow chases the dog.
The cow visits the cow.
@0: The cow needs the dog.[(triple1)] The dog is rough.[(triple2)] @1: The dog visits the dog.[(((triple2) -> rule5))] @2: The dog is green.[(((((triple2) -> rule5)) -> rule1))] @3: The dog is round.[(((((((triple2) -> rule5)) -> rule1) ((triple2) -> rule5)) -> rule3))]