The bald eagle does not see the dog. The bald eagle sees the mouse. The dog does not see the bald eagle. The mouse chases the bald eagle. The mouse does not chase the dog. The mouse is cold. The mouse is young. The tiger is green. The tiger does not need the dog. The tiger does not see the dog. If something sees the bald eagle then the bald eagle is round. If something chases the bald eagle then the bald eagle does not chase the mouse. If something needs the mouse then the mouse does not chase the bald eagle. If something chases the tiger and the tiger needs the dog then the dog needs the bald eagle. If something chases the dog then it does not see the mouse. If something is green then it chases the tiger.
The bald eagle does not chase the tiger.
@0: The bald eagle does not see the dog.[(triple1)] The bald eagle sees the mouse.[(triple2)] The dog does not see the bald eagle.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse does not chase the dog.[(triple5)] The mouse is cold.[(triple6)] The mouse is young.[(triple7)] The tiger does not need the dog.[(triple9)] The tiger does not see the dog.[(triple10)] The tiger is green.[(triple8)] @1: The bald eagle does not chase the mouse.[(((triple4) -> rule2))] The tiger chases the tiger.[(((triple8) -> rule6))]