The bald eagle is kind. The cow is round. The dog sees the cow. The squirrel sees the bald eagle. If something needs the cow then it does not eat the dog. If something sees the bald eagle then the bald eagle does not eat the squirrel. If the bald eagle needs the squirrel then the squirrel does not need the bald eagle.
The dog does not eat the bald eagle.
@0: The bald eagle is kind.[(triple1)] The cow is round.[(triple2)] The dog sees the cow.[(triple3)] The squirrel sees the bald eagle.[(triple4)] @1: The bald eagle does not eat the squirrel.[(((triple4) -> rule2))]