The bald eagle chases the squirrel. The bald eagle needs the cow. The cow is cold. The cow is green. The cow needs the squirrel. The squirrel is kind. The squirrel needs the bald eagle. If something eats the cow and the cow chases the bald eagle then it does not eat the squirrel. If something chases the bald eagle then it needs the bald eagle. If something chases the squirrel then it chases the bald eagle.
The bald eagle does not need the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle needs the cow.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow needs the squirrel.[(triple5)] The squirrel is kind.[(triple6)] The squirrel needs the bald eagle.[(triple7)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule3))] @2: The bald eagle needs the bald eagle.[(((((triple1) -> rule3)) -> rule2))]