The bald eagle is nice. The squirrel eats the bald eagle. If the squirrel visits the bald eagle and the squirrel is nice then the bald eagle does not need the squirrel. If something is big and it needs the bald eagle then the bald eagle needs the squirrel. If the bald eagle eats the squirrel then the bald eagle does not need the squirrel. If something is nice then it eats the squirrel. If something visits the bald eagle and it visits the squirrel then it is green. All round things are rough. If something is rough then it needs the squirrel. If something eats the squirrel then it does not eat the bald eagle.
The squirrel eats the bald eagle.
@0: The bald eagle is nice.[(triple1)] The squirrel eats the bald eagle.[(triple2)] @1: The bald eagle eats the squirrel.[(((triple1) -> rule4))] @2: The bald eagle does not eat the bald eagle.[(((((triple1) -> rule4)) -> rule8))] The bald eagle does not need the squirrel.[(((((triple1) -> rule4)) -> rule3))]