The bald eagle is green. The cow sees the squirrel. The squirrel does not eat the tiger. The tiger is kind. If something is green then it does not need the squirrel. If something needs the bald eagle then the bald eagle does not eat the tiger. If something is nice and it does not eat the tiger then it eats the bald eagle.
The bald eagle does not eat the bald eagle.
@0: The bald eagle is green.[(triple1)] The cow sees the squirrel.[(triple2)] The squirrel does not eat the tiger.[(triple3)] The tiger is kind.[(triple4)] @1: The bald eagle does not need the squirrel.[(((triple1) -> rule1))]