The bald eagle visits the squirrel. The squirrel likes the bald eagle. The squirrel visits the bald eagle. If the squirrel likes the bald eagle then the squirrel visits the bald eagle. If something eats the squirrel then the squirrel does not eat the bald eagle. If something eats the bald eagle then it eats the squirrel. If something is young then it eats the squirrel. If the bald eagle is not red then the bald eagle likes the squirrel. If something likes the bald eagle then the bald eagle is young.
The bald eagle does not eat the squirrel.
@0: The bald eagle visits the squirrel.[(triple1)] The squirrel likes the bald eagle.[(triple2)] The squirrel visits the bald eagle.[(triple3 OR ((triple2) -> rule1))] @1: The bald eagle is young.[(((triple2) -> rule6))] @2: The bald eagle eats the squirrel.[(((((triple2) -> rule6)) -> rule4))] @3: The squirrel does not eat the bald eagle.[(((((((triple2) -> rule6)) -> rule4)) -> rule2))]