The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is not nice. The bald eagle does not like the squirrel. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The squirrel is not big. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is not nice. The squirrel likes the bald eagle. The squirrel does not need the bald eagle. The squirrel sees the bald eagle. If someone is nice and they need the bald eagle then the bald eagle sees the squirrel. If someone likes the bald eagle then the bald eagle is big. If someone needs the bald eagle then the bald eagle is nice. If the squirrel is big then the squirrel is not nice. If someone is big and they like the squirrel then they like the bald eagle. If someone is big and they need the bald eagle then they need the squirrel.
The squirrel is kind.
@0: The bald eagle does not like the squirrel.[(triple6)] The bald eagle is big.[(triple1 OR ((triple14) -> rule2))] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is not nice.[(triple5)] The bald eagle needs the squirrel.[(triple7)] The bald eagle sees the squirrel.[(triple8)] The squirrel does not need the bald eagle.[(triple15)] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is not big.[(triple9)] The squirrel is not nice.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel sees the bald eagle.[(triple16)]