The bald eagle is cold. The bald eagle likes the tiger. The tiger likes the bald eagle. If the tiger likes the bald eagle then the bald eagle eats the tiger. If someone is green and they eat the tiger then they visit the bald eagle. If someone visits the bald eagle and they are not big then they visit the tiger. If someone eats the tiger then the tiger visits the bald eagle. If someone likes the tiger and the tiger visits the bald eagle then they are green. If someone is young and they eat the tiger then they like the tiger.
The tiger is not young.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the tiger.[(triple2)] The tiger likes the bald eagle.[(triple3)] @1: The bald eagle eats the tiger.[(((triple3) -> rule1))] @2: The tiger visits the bald eagle.[(((((triple3) -> rule1)) -> rule4))] @3: The bald eagle is green.[(((triple2 ((((triple3) -> rule1)) -> rule4)) -> rule5))] @4: The bald eagle visits the bald eagle.[(((((triple2 ((((triple3) -> rule1)) -> rule4)) -> rule5) ((triple3) -> rule1)) -> rule2))]