The bald eagle chases the bear. The bald eagle eats the bear. The bear eats the squirrel. The bear is green. The bear is kind. The dog eats the bald eagle. The squirrel chases the bald eagle. The squirrel chases the bear. The squirrel chases the dog. The squirrel is kind. If someone needs the bear then they are nice. If someone eats the bald eagle then they are nice. If someone needs the bald eagle and the bald eagle eats the bear then they chase the bear. If someone chases the bald eagle and they are red then the bald eagle chases the squirrel. If someone chases the squirrel then they do not chase the dog. If someone needs the dog and they are not red then they need the bald eagle.
The bear is not kind.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bear eats the squirrel.[(triple3)] The bear is green.[(triple4)] The bear is kind.[(triple5)] The dog eats the bald eagle.[(triple6)] The squirrel chases the bald eagle.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel is kind.[(triple10)] @1: The dog is nice.[(((triple6) -> rule2))]