The bald eagle likes the tiger. The mouse likes the tiger. The tiger eats the bald eagle. If someone is nice and big then they like the tiger. If someone likes the bald eagle and they visit the tiger then the bald eagle is big. If the bald eagle likes the mouse and the bald eagle is not red then the bald eagle eats the mouse. If the tiger visits the mouse then the mouse eats the bald eagle. If someone eats the bald eagle then they visit the mouse. If the tiger is not rough then the tiger eats the mouse.
The mouse does not eat the mouse.
@0: The bald eagle likes the tiger.[(triple1)] The mouse likes the tiger.[(triple2)] The tiger eats the bald eagle.[(triple3)] @1: The tiger visits the mouse.[(((triple3) -> rule5))] @2: The mouse eats the bald eagle.[(((((triple3) -> rule5)) -> rule4))] @3: The mouse visits the mouse.[(((((((triple3) -> rule5)) -> rule4)) -> rule5))]