The bald eagle eats the squirrel. The bald eagle needs the squirrel. The squirrel eats the bald eagle. The squirrel is blue. The squirrel is green. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If someone eats the squirrel and the squirrel eats the bald eagle then they are nice. If someone needs the bald eagle then they like the bald eagle. If someone likes the bald eagle then they eat the bald eagle.
The bald eagle does not eat the bald eagle.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The squirrel eats the bald eagle.[(triple3 OR ((triple6) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] The squirrel is blue.[(triple4)] The squirrel is green.[(triple5)] The squirrel likes the bald eagle.[(triple6 OR ((triple7) -> rule2))] The squirrel needs the bald eagle.[(triple7)] @1: The bald eagle is nice.[(((triple1 triple3) -> rule1) OR ((triple1 ((triple6) -> rule3)) -> rule1) OR ((triple1 ((((triple7) -> rule2)) -> rule3)) -> rule1))]