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 kind. The bald eagle is red. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The squirrel eats the bald eagle. The squirrel is not blue. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel likes the bald eagle. The squirrel does not see the bald eagle. If someone is green and they see the bald eagle then they are kind. If the bald eagle is not cold then the bald eagle is red. If someone eats the bald eagle then the bald eagle is blue. If someone is kind then they do not see the bald eagle. If the squirrel eats the bald eagle then the squirrel likes the bald eagle. If the squirrel likes the bald eagle and the squirrel eats the bald eagle then the bald eagle eats the squirrel. If someone eats the bald eagle and the bald eagle is not kind then they like the bald eagle. If someone sees the squirrel and the squirrel sees the bald eagle then they do not like the bald eagle.
The squirrel sees the squirrel.
@0: The bald eagle eats the squirrel.[(triple1 OR ((triple15 triple9) -> rule6) OR ((((triple9) -> rule5) triple9) -> rule6))] The bald eagle is blue.[(triple2 OR ((triple9) -> rule3))] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle likes the squirrel.[(triple7)] The bald eagle sees the squirrel.[(triple8)] The squirrel does not see the bald eagle.[(triple16 OR ((triple13) -> rule4))] The squirrel eats the bald eagle.[(triple9)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is not blue.[(triple10)] The squirrel is red.[(triple14)] The squirrel likes the bald eagle.[(triple15 OR ((triple9) -> rule5))] @1: The bald eagle does not see the bald eagle.[(((triple5) -> rule4))]