The bald eagle needs the bear. The bear is big. The bear is kind. The bear visits the dog. The dog eats the bald eagle. The dog is cold. The squirrel is kind. If the dog eats the bald eagle and the dog visits the bear then the bald eagle eats the dog. If the squirrel eats the dog then the squirrel eats the bear. If something needs the bear then the bear eats the squirrel. If something eats the dog then it visits the squirrel. If the dog is round then the dog needs the bald eagle. If something visits the dog and it visits the bald eagle then the dog is kind. If the bear visits the squirrel and the bear needs the bald eagle then the squirrel visits the bald eagle. If something visits the bald eagle then the bald eagle eats the squirrel.
The dog does not eat the bald eagle.
@0: The bald eagle needs the bear.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear visits the dog.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog is cold.[(triple6)] The squirrel is kind.[(triple7)] @1: The bear eats the squirrel.[(((triple1) -> rule3))]