The bald eagle visits the tiger. The tiger visits the bald eagle. If someone visits the bald eagle and they do not visit the tiger then the tiger visits the bald eagle. If someone visits the bald eagle then they are green. All young people are green. If someone visits the bald eagle then they see the bald eagle. If someone visits the tiger and they are nice then they do not eat the bald eagle. If the tiger sees the bald eagle then the tiger is big. If someone is big then they are blue. If someone sees the bald eagle then the bald eagle eats the tiger.
The tiger is green.
@0: The bald eagle visits the tiger.[(triple1)] The tiger visits the bald eagle.[(triple2)] @1: The tiger is green.[(((triple2) -> rule2))] The tiger sees the bald eagle.[(((triple2) -> rule4))] @2: The bald eagle eats the tiger.[(((((triple2) -> rule4)) -> rule8))] The tiger is big.[(((((triple2) -> rule4)) -> rule6))] @3: The tiger is blue.[(((((((triple2) -> rule4)) -> rule6)) -> rule7))]