The bald eagle eats the mouse. The lion does not visit the mouse. The mouse needs the bald eagle. The tiger eats the lion. If something visits the lion then it eats the tiger. If something is young then it visits the lion. If something eats the tiger then the tiger eats the mouse. If something visits the mouse then it eats the bald eagle. If something eats the lion then it is young. If the mouse visits the bald eagle and the mouse does not eat the tiger then the tiger is red. If something visits the tiger then the tiger is nice. If something needs the lion and it is red then the lion visits the tiger.
The tiger needs the tiger.
@0: The bald eagle eats the mouse.[(triple1)] The lion does not visit the mouse.[(triple2)] The mouse needs the bald eagle.[(triple3)] The tiger eats the lion.[(triple4)] @1: The tiger is young.[(((triple4) -> rule5))] @2: The tiger visits the lion.[(((((triple4) -> rule5)) -> rule2))] @3: The tiger eats the tiger.[(((((((triple4) -> rule5)) -> rule2)) -> rule1))] @4: The tiger eats the mouse.[(((((((((triple4) -> rule5)) -> rule2)) -> rule1)) -> rule3))]