The bald eagle eats the bear. The bald eagle eats the dog. The bald eagle needs the dog. The bald eagle needs the squirrel. The bear eats the dog. The bear is kind. The bear is rough. The bear sees the bald eagle. The dog eats the squirrel. The dog needs the bald eagle. The dog sees the bald eagle. The dog sees the squirrel. The squirrel eats the bear. The squirrel eats the dog. The squirrel is young. The squirrel needs the dog. If the bald eagle is young then the bald eagle eats the squirrel. If someone sees the squirrel then they eat the bald eagle. If someone sees the bear then they are young.
The bear needs the squirrel.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bear eats the dog.[(triple5)] The bear is kind.[(triple6)] The bear is rough.[(triple7)] The bear sees the bald eagle.[(triple8)] The dog eats the squirrel.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog sees the bald eagle.[(triple11)] The dog sees the squirrel.[(triple12)] The squirrel eats the bear.[(triple13)] The squirrel eats the dog.[(triple14)] The squirrel is young.[(triple15)] The squirrel needs the dog.[(triple16)] @1: The dog eats the bald eagle.[(((triple12) -> rule2))]