The bald eagle chases the dog. The bald eagle is big. The bald eagle is young. The bald eagle needs the mouse. The bear does not chase the mouse. The bear is blue. The bear needs the mouse. The bear sees the bald eagle. The bear does not see the dog. The dog chases the bald eagle. The dog chases the mouse. The mouse chases the dog. The mouse is blue. The mouse is green. The mouse sees the dog. If the bald eagle sees the bear and the bald eagle sees the dog then the bear sees the mouse. If something needs the bear then the bear sees the mouse. If something sees the dog then it is green. If something sees the mouse and the mouse sees the dog then the mouse needs the dog. If something needs the bald eagle and the bald eagle chases the bear then it is blue. If something sees the bald eagle then the bald eagle needs the bear. If something chases the bear then the bear needs the mouse. Young things are big.
The mouse sees the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is big.[(triple2 OR ((triple3) -> rule8))] The bald eagle is young.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bear does not chase the mouse.[(triple5)] The bear does not see the dog.[(triple9)] The bear is blue.[(triple6)] The bear needs the mouse.[(triple7)] The bear sees the bald eagle.[(triple8)] The dog chases the bald eagle.[(triple10)] The dog chases the mouse.[(triple11)] The mouse chases the dog.[(triple12)] The mouse is blue.[(triple13)] The mouse is green.[(triple14 OR ((triple15) -> rule3))] The mouse sees the dog.[(triple15)] @1: The bald eagle needs the bear.[(((triple8) -> rule6))] @2: The bear sees the mouse.[(((((triple8) -> rule6)) -> rule2))] @3: The mouse needs the dog.[(((((((triple8) -> rule6)) -> rule2) triple15) -> rule4))]