The bald eagle does not eat the mouse. The bald eagle needs the dog. The dog eats the bald eagle. The dog eats the mouse. The dog eats the squirrel. The dog is blue. The dog is green. The dog does not need the bald eagle. The dog visits the squirrel. The mouse eats the bald eagle. The mouse is not blue. The mouse is not kind. The mouse needs the squirrel. The squirrel does not eat the mouse. The squirrel is not blue. The squirrel needs the dog. If something needs the mouse and it is not cold then it is green. If the bald eagle needs the mouse and the mouse visits the bald eagle then the bald eagle eats the squirrel. If something eats the squirrel then the squirrel needs the mouse. If something is green and red then it eats the squirrel. If something needs the squirrel and the squirrel does not visit the dog then the dog needs the bald eagle. If something needs the mouse and the mouse is not green then it is kind. If the squirrel eats the dog then the dog visits the bald eagle. If something visits the squirrel and the squirrel is kind then the squirrel eats the dog.
The dog does not need the bald eagle.
@0: The bald eagle does not eat the mouse.[(triple1)] The bald eagle needs the dog.[(triple2)] The dog does not need the bald eagle.[(triple8)] The dog eats the bald eagle.[(triple3)] The dog eats the mouse.[(triple4)] The dog eats the squirrel.[(triple5)] The dog is blue.[(triple6)] The dog is green.[(triple7)] The dog visits the squirrel.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse is not blue.[(triple11)] The mouse is not kind.[(triple12)] The mouse needs the squirrel.[(triple13)] The squirrel does not eat the mouse.[(triple14)] The squirrel is not blue.[(triple15)] The squirrel needs the dog.[(triple16)] @1: The squirrel needs the mouse.[(((triple5) -> rule3))]