The bald eagle is rough. The bald eagle needs the dog. The bald eagle does not need the mouse. The dog is green. The dog is rough. The dog is round. The mouse chases the bald eagle. The mouse chases the squirrel. The mouse visits the bald eagle. The squirrel is blue. If someone is green and they do not chase the dog then the dog is blue. If someone needs the dog then the dog chases the mouse. If the mouse does not chase the dog then the mouse is red. If someone needs the bald eagle then the bald eagle chases the mouse. If someone chases the mouse and the mouse visits the dog then they do not visit the mouse. If someone is round and not red then they do not need the mouse.
The bald eagle is red.
@0: The bald eagle does not need the mouse.[(triple3)] The bald eagle is rough.[(triple1)] The bald eagle needs the dog.[(triple2)] The dog is green.[(triple4)] The dog is rough.[(triple5)] The dog is round.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse chases the squirrel.[(triple8)] The mouse visits the bald eagle.[(triple9)] The squirrel is blue.[(triple10)] @1: The dog chases the mouse.[(((triple2) -> rule2))]