The bald eagle sees the cow. The cow is nice. The squirrel sees the cow. If someone eats the bald eagle then the bald eagle eats the squirrel. If someone sees the cow then the cow eats the bald eagle. If someone sees the cow then they eat the bald eagle.
The bald eagle does not eat the bald eagle.
@0: The bald eagle sees the cow.[(triple1)] The cow is nice.[(triple2)] The squirrel sees the cow.[(triple3)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule3))] The cow eats the bald eagle.[(((triple1) -> rule2) OR ((triple3) -> rule2))] The squirrel eats the bald eagle.[(((triple3) -> rule3))] @2: The bald eagle eats the squirrel.[(((((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule3)) -> rule1))]