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