The bald eagle does not like the tiger. The cat needs the tiger. The mouse eats the bald eagle. The tiger eats the mouse. If something eats the bald eagle then the bald eagle is big. If something eats the bald eagle and it eats the tiger then the bald eagle needs the tiger. If the bald eagle needs the mouse and the bald eagle is red then the mouse is not cold. If something eats the bald eagle and the bald eagle is big then the bald eagle needs the cat. If something needs the cat then it eats the tiger. If the cat is green then the cat does not need the bald eagle.
The tiger is not rough.
@0: The bald eagle does not like the tiger.[(triple1)] The cat needs the tiger.[(triple2)] The mouse eats the bald eagle.[(triple3)] The tiger eats the mouse.[(triple4)] @1: The bald eagle is big.[(((triple3) -> rule1))] @2: The bald eagle needs the cat.[(((triple3 ((triple3) -> rule1)) -> rule4))] @3: The bald eagle eats the tiger.[(((((triple3 ((triple3) -> rule1)) -> rule4)) -> rule5))]