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