The bald eagle eats the squirrel. The bald eagle is not blue. The bald eagle is young. The bald eagle needs the dog. The bald eagle visits the dog. The bear visits the squirrel. The dog eats the bear. The dog eats the squirrel. The dog needs the bald eagle. The dog needs the squirrel. The dog visits the bald eagle. The dog visits the bear. The squirrel eats the bear. The squirrel does not need the dog. The squirrel visits the dog. If the squirrel does not eat the dog then the squirrel needs the bear. If something needs the squirrel then the squirrel is not rough.
The squirrel is rough.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle visits the dog.[(triple5)] The bear visits the squirrel.[(triple6)] The dog eats the bear.[(triple7)] The dog eats the squirrel.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog needs the squirrel.[(triple10)] The dog visits the bald eagle.[(triple11)] The dog visits the bear.[(triple12)] The squirrel does not need the dog.[(triple14)] The squirrel eats the bear.[(triple13)] The squirrel visits the dog.[(triple15)] @1: The squirrel is not rough.[(((triple10) -> rule2))]