The bald eagle chases the cat. The cat is blue. The tiger is green. If the tiger chases the bald eagle then the bald eagle visits the tiger. If someone chases the cat and the cat is blue then the cat is red. If someone visits the bald eagle then they visit the tiger. If someone is blue and red then they are green. If someone is green and they need the cat then the cat chases the bald eagle. If someone needs the cat and they chase the bald eagle then the bald eagle visits the cat.
The tiger visits the cat.
@0: The bald eagle chases the cat.[(triple1)] The cat is blue.[(triple2)] The tiger is green.[(triple3)] @1: The cat is red.[(((triple1 triple2) -> rule2))] @2: The cat is green.[(((triple2 ((triple1 triple2) -> rule2)) -> rule4))]