The bald eagle chases the squirrel. The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle needs the squirrel. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel needs the bald eagle. If the bald eagle eats the squirrel then the squirrel chases the bald eagle. If someone eats the bald eagle and the bald eagle needs the squirrel then they need the squirrel. If someone needs the squirrel then they chase the squirrel. If someone is round then they are big. If someone is big then they need the squirrel. If someone needs the bald eagle and the bald eagle eats the squirrel then the bald eagle needs the squirrel.
The bald eagle does not eat the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1 OR ((triple8) -> rule3) OR ((((triple3) -> rule5)) -> rule3) OR ((((triple15 triple2) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule5)) -> rule3))] The bald eagle eats the squirrel.[(triple2)] The bald eagle is big.[(triple3 OR ((triple7) -> rule4))] The bald eagle is green.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle is round.[(triple7)] The bald eagle needs the squirrel.[(triple8 OR ((triple3) -> rule5) OR ((triple15 triple2) -> rule6) OR ((((triple7) -> rule4)) -> rule5))] The squirrel chases the bald eagle.[(triple9 OR ((triple2) -> rule1))] The squirrel eats the bald eagle.[(triple10)] The squirrel is big.[(triple11 OR ((triple14) -> rule4))] The squirrel is green.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is round.[(triple14)] The squirrel needs the bald eagle.[(triple15)] @1: The squirrel needs the squirrel.[(((triple11) -> rule5) OR ((triple10 triple8) -> rule2) OR ((((triple14) -> rule4)) -> rule5) OR ((triple10 ((triple3) -> rule5)) -> rule2) OR ((triple10 ((triple15 triple2) -> rule6)) -> rule2) OR ((triple10 ((((triple7) -> rule4)) -> rule5)) -> rule2))] @2: The squirrel chases the squirrel.[(((((triple11) -> rule5)) -> rule3) OR ((((triple10 triple8) -> rule2)) -> rule3) OR ((((((triple14) -> rule4)) -> rule5)) -> rule3) OR ((((triple10 ((triple3) -> rule5)) -> rule2)) -> rule3) OR ((((triple10 ((triple15 triple2) -> rule6)) -> rule2)) -> rule3) OR ((((triple10 ((((triple7) -> rule4)) -> rule5)) -> rule2)) -> rule3))]