The bald eagle chases the squirrel. The bald eagle is big. The bald eagle is nice. 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 kind. The squirrel is nice. The squirrel is young. The squirrel needs the bald eagle. If something chases the squirrel and it needs the bald eagle then the bald eagle eats the squirrel. If something is green and it eats the squirrel then it is big. If something is green then it chases the squirrel. If something needs the squirrel then the squirrel eats the bald eagle. If something is young and it eats the bald eagle then it needs the squirrel. If something eats the squirrel then it eats the bald eagle. If something eats the squirrel and the squirrel chases the bald eagle then the bald eagle eats the squirrel. If something chases the squirrel then the squirrel needs the bald eagle.
The squirrel does not need the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel eats the bald eagle.[(triple6 OR ((triple4) -> rule4))] The squirrel is big.[(triple7)] The squirrel is green.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is young.[(triple11)] The squirrel needs the bald eagle.[(triple12 OR ((triple1) -> rule8) OR ((((triple8) -> rule3)) -> rule8))] @1: The squirrel chases the squirrel.[(((triple8) -> rule3))] The squirrel needs the squirrel.[(((triple11 triple6) -> rule5) OR ((triple11 ((triple4) -> rule4)) -> rule5))] @2: The bald eagle eats the squirrel.[(((((triple8) -> rule3) triple12) -> rule1) OR ((((triple8) -> rule3) ((triple1) -> rule8)) -> rule1) OR ((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule8)) -> rule1))] @3: The bald eagle eats the bald eagle.[(((((((triple8) -> rule3) triple12) -> rule1)) -> rule6) OR ((((((triple8) -> rule3) ((triple1) -> rule8)) -> rule1)) -> rule6) OR ((((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule8)) -> rule1)) -> rule6))]