The bald eagle sees the squirrel. The mouse is red. The squirrel likes the bald eagle. The tiger eats the squirrel. If someone likes the tiger and the tiger sees the bald eagle then the tiger likes the squirrel. If someone eats the squirrel then they are young. If someone sees the squirrel and they are young then they eat the tiger. If someone sees the squirrel and the squirrel likes the bald eagle then they eat the squirrel. If someone is red and they do not see the mouse then the mouse likes the bald eagle. If someone eats the bald eagle then the bald eagle does not like the mouse. If someone sees the mouse and they do not eat the tiger then the mouse eats the bald eagle. If the bald eagle does not eat the squirrel then the bald eagle is blue.
The bald eagle does not eat the tiger.
@0: The bald eagle sees the squirrel.[(triple1)] The mouse is red.[(triple2)] The squirrel likes the bald eagle.[(triple3)] The tiger eats the squirrel.[(triple4)] @1: The bald eagle eats the squirrel.[(((triple1 triple3) -> rule4))] The tiger is young.[(((triple4) -> rule2))] @2: The bald eagle is young.[(((((triple1 triple3) -> rule4)) -> rule2))] @3: The bald eagle eats the tiger.[(((triple1 ((((triple1 triple3) -> rule4)) -> rule2)) -> rule3))]