The bald eagle is not young. The dog is cold. The dog is rough. The dog sees the bald eagle. The mouse is young. The mouse needs the rabbit. The rabbit chases the mouse. If the rabbit needs the bald eagle then the bald eagle does not need the rabbit. If something is rough and blue then it needs the dog. If something is rough then it sees the mouse. If something sees the mouse and the mouse needs the bald eagle then the mouse chases the rabbit. If something chases the dog and the dog chases the bald eagle then the dog does not see the rabbit. If something chases the bald eagle then the bald eagle chases the mouse. If something chases the bald eagle then the bald eagle does not see the mouse. If something sees the mouse then it chases the bald eagle.
The dog sees the mouse.
@0: The bald eagle is not young.[(triple1)] The dog is cold.[(triple2)] The dog is rough.[(triple3)] The dog sees the bald eagle.[(triple4)] The mouse is young.[(triple5)] The mouse needs the rabbit.[(triple6)] The rabbit chases the mouse.[(triple7)] @1: The dog sees the mouse.[(((triple3) -> rule3))] @2: The dog chases the bald eagle.[(((((triple3) -> rule3)) -> rule8))] @3: The bald eagle chases the mouse.[(((((((triple3) -> rule3)) -> rule8)) -> rule6))] The bald eagle does not see the mouse.[(((((((triple3) -> rule3)) -> rule8)) -> rule7))]