The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The squirrel eats the bald eagle. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel likes the bald eagle. The squirrel sees the bald eagle. If the bald eagle eats the squirrel then the bald eagle is round. If someone sees the bald eagle then the bald eagle is blue. If someone likes the bald eagle and they like the squirrel then the bald eagle likes the squirrel. If someone eats the squirrel then the squirrel sees the bald eagle. If someone eats the squirrel then they see the squirrel. If someone likes the bald eagle then they like the squirrel.
The squirrel does not see the squirrel.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple16) -> rule2) OR ((((triple1) -> rule4)) -> rule2))] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6 OR ((triple1) -> rule1))] The bald eagle likes the squirrel.[(triple7 OR ((triple15 ((triple15) -> rule6)) -> rule3))] The bald eagle sees the squirrel.[(triple8 OR ((triple1) -> rule5))] The squirrel eats the bald eagle.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel sees the bald eagle.[(triple16 OR ((triple1) -> rule4))] @1: The squirrel likes the squirrel.[(((triple15) -> rule6))]