The bald eagle is big. The bald eagle is kind. The bald eagle needs the dog. The bear does not eat the bald eagle. The bear is not big. The bear needs the dog. The bear needs the squirrel. The dog chases the bald eagle. The dog eats the bald eagle. The dog does not eat the squirrel. The dog needs the bald eagle. The squirrel chases the dog. The squirrel eats the dog. The squirrel is big. The squirrel is not kind. If someone eats the squirrel and the squirrel chases the bald eagle then they are nice. If someone eats the bear then they chase the dog. If someone eats the squirrel and the squirrel needs the bear then the bear needs the squirrel. If someone is nice and they need the bald eagle then the bald eagle does not chase the squirrel. If someone is nice then they chase the bald eagle. All big people are not young. If someone chases the bear then they need the dog. If someone chases the bear and the bear eats the dog then they are not kind.
The bear does not eat the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the dog.[(triple3)] The bear does not eat the bald eagle.[(triple4)] The bear is not big.[(triple5)] The bear needs the dog.[(triple6)] The bear needs the squirrel.[(triple7)] The dog chases the bald eagle.[(triple8)] The dog does not eat the squirrel.[(triple10)] The dog eats the bald eagle.[(triple9)] The dog needs the bald eagle.[(triple11)] The squirrel chases the dog.[(triple12)] The squirrel eats the dog.[(triple13)] The squirrel is big.[(triple14)] The squirrel is not kind.[(triple15)] @1: The bald eagle is not young.[(((triple1) -> rule6))] The squirrel is not young.[(((triple14) -> rule6))]