The bald eagle does not eat the squirrel. The bald eagle is not green. The bald eagle is nice. The bald eagle is red. The bald eagle is not round. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle does not need the squirrel. The squirrel eats the bald eagle. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If someone likes the bald eagle then they like the squirrel. If someone eats the squirrel then the squirrel eats the bald eagle. If someone likes the bald eagle and they are round then they need the squirrel. Young people are nice. If someone eats the bald eagle and they do not like the squirrel then the squirrel needs the bald eagle. If the bald eagle does not like the squirrel and the squirrel does not eat the bald eagle then the bald eagle needs the squirrel. If someone eats the bald eagle and the bald eagle is green then the bald eagle does not need the squirrel. If someone needs the squirrel and they do not eat the squirrel then they are not green.
The bald eagle eats the bald eagle.
@0: The bald eagle does not eat the squirrel.[(triple1)] The bald eagle does not need the squirrel.[(triple8)] The bald eagle is nice.[(triple3 OR ((triple6) -> rule4))] The bald eagle is not green.[(triple2)] The bald eagle is not round.[(triple5)] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple6)] The bald eagle likes the squirrel.[(triple7)] The squirrel eats the bald eagle.[(triple9)] The squirrel is green.[(triple10)] The squirrel is nice.[(triple11 OR ((triple14) -> rule4))] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The squirrel likes the squirrel.[(((triple15) -> rule1))] The squirrel needs the squirrel.[(((triple15 triple13) -> rule3))]