The cat eats the dog. The dog eats the cat. If something visits the dog then the dog is green. If something eats the cat then it visits the dog. If something is blue and it visits the cat then it visits the dog.
The dog visits the dog.
@0: The cat eats the dog.[(triple1)] The dog eats the cat.[(triple2)] @1: The dog visits the dog.[(((triple2) -> rule2))] @2: The dog is green.[(((((triple2) -> rule2)) -> rule1))]