The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is nice. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The squirrel eats the bald eagle. The squirrel is red. The squirrel is young. The squirrel needs the bald eagle. If someone eats the bald eagle then they are red. If someone eats the squirrel and the squirrel likes the bald eagle then they need the squirrel. If someone needs the bald eagle and the bald eagle likes the squirrel then the squirrel is young.
The bald eagle is not young.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the squirrel.[(triple5)] The bald eagle needs the squirrel.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel is red.[(triple8 OR ((triple7) -> rule1))] The squirrel is young.[(triple9 OR ((triple10 triple5) -> rule3))] The squirrel needs the bald eagle.[(triple10)]