The bald eagle eats the lion. The lion eats the mouse. The mouse needs the bald eagle. The squirrel is blue. If someone is nice then they need the squirrel. If someone eats the squirrel then the squirrel is nice. If someone needs the bald eagle then they eat the squirrel.
The squirrel does not need the squirrel.
@0: The bald eagle eats the lion.[(triple1)] The lion eats the mouse.[(triple2)] The mouse needs the bald eagle.[(triple3)] The squirrel is blue.[(triple4)] @1: The mouse eats the squirrel.[(((triple3) -> rule3))] @2: The squirrel is nice.[(((((triple3) -> rule3)) -> rule2))] @3: The squirrel needs the squirrel.[(((((((triple3) -> rule3)) -> rule2)) -> rule1))]