The cow chases the tiger. The cow visits the tiger. The tiger chases the cow. If someone likes the tiger then they chase the cow. If someone chases the tiger then the tiger is red. If someone is round and green then they chase the cow. If someone chases the tiger and the tiger visits the cow then they like the cow. If someone visits the tiger and they are rough then the tiger likes the cow. If someone likes the cow then they are blue. If the cow visits the tiger and the tiger chases the cow then the tiger visits the cow. If someone is rough then they visit the cow.
The tiger visits the tiger.
@0: The cow chases the tiger.[(triple1)] The cow visits the tiger.[(triple2)] The tiger chases the cow.[(triple3)] @1: The tiger is red.[(((triple1) -> rule2))] The tiger visits the cow.[(((triple2 triple3) -> rule7))] @2: The cow likes the cow.[(((triple1 ((triple2 triple3) -> rule7)) -> rule4))] @3: The cow is blue.[(((((triple1 ((triple2 triple3) -> rule7)) -> rule4)) -> rule6))]