The bald eagle needs the squirrel. The mouse is round. The rabbit eats the squirrel. The squirrel does not eat the mouse. If something is big then it eats the rabbit. If something needs the rabbit and the rabbit does not eat the bald eagle then the bald eagle needs the mouse. If something is round and it chases the mouse then the mouse eats the bald eagle. If the squirrel does not chase the rabbit then the squirrel does not eat the bald eagle. If something eats the rabbit then it does not chase the mouse. If something eats the squirrel then it is big. If something chases the bald eagle and the bald eagle eats the squirrel then it is nice. If something needs the squirrel and it is young then the squirrel needs the rabbit.
The mouse is round.
@0: The bald eagle needs the squirrel.[(triple1)] The mouse is round.[(triple2)] The rabbit eats the squirrel.[(triple3)] The squirrel does not eat the mouse.[(triple4)] @1: The rabbit is big.[(((triple3) -> rule6))] @2: The rabbit eats the rabbit.[(((((triple3) -> rule6)) -> rule1))] @3: The rabbit does not chase the mouse.[(((((((triple3) -> rule6)) -> rule1)) -> rule5))]