The bald eagle chases the squirrel. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle is young. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The squirrel chases the bald eagle. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel needs the bald eagle. The squirrel sees the bald eagle. If something needs the squirrel then it is red. If something sees the bald eagle and it chases the squirrel then the squirrel needs the bald eagle.
The squirrel does not chase the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4 OR ((triple7) -> rule1))] The bald eagle is rough.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the squirrel.[(triple7)] The bald eagle sees the squirrel.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel sees the bald eagle.[(triple15)]