The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is not round. The bald eagle needs the squirrel. The bald eagle visits the squirrel. The squirrel eats the bald eagle. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If someone visits the squirrel then they are blue. If someone is round and cold then they do not need the squirrel.
The bald eagle does not need the bald eagle.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple8) -> rule1))] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is not round.[(triple6)] The bald eagle needs the squirrel.[(triple7)] The bald eagle visits the squirrel.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is round.[(triple14)] The squirrel needs the bald eagle.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The squirrel does not need the squirrel.[(((triple14 triple11) -> rule2))]