The bald eagle visits the tiger. The mouse chases the bald eagle. The tiger needs the mouse. If something visits the bald eagle then the bald eagle needs the tiger. If something is blue then it chases the mouse. If something visits the mouse and the mouse is cold then it is cold. If the tiger is cold and the tiger chases the bald eagle then the tiger visits the mouse. If something is green then it visits the bald eagle. If the tiger needs the mouse then the tiger is green. If something needs the bald eagle then it visits the tiger. If something chases the bald eagle and the bald eagle is kind then it is round.
The bald eagle needs the tiger.
@0: The bald eagle visits the tiger.[(triple1)] The mouse chases the bald eagle.[(triple2)] The tiger needs the mouse.[(triple3)] @1: The tiger is green.[(((triple3) -> rule6))] @2: The tiger visits the bald eagle.[(((((triple3) -> rule6)) -> rule5))] @3: The bald eagle needs the tiger.[(((((((triple3) -> rule6)) -> rule5)) -> rule1))]