The bald eagle chases the mouse. The bald eagle is green. The bald eagle is kind. The bald eagle is young. The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse is young. The mouse needs the bald eagle. The mouse sees the bald eagle. If something is young then it sees the bald eagle. If the mouse chases the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. If something needs the bald eagle then it is green.
The mouse needs the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bald eagle sees the mouse.[(triple6 OR ((triple7 triple3) -> rule2))] The mouse chases the bald eagle.[(triple7)] The mouse is young.[(triple8)] The mouse needs the bald eagle.[(triple9)] The mouse sees the bald eagle.[(triple10 OR ((triple8) -> rule1))] @1: The bald eagle sees the bald eagle.[(((triple4) -> rule1))] The mouse is green.[(((triple9) -> rule3))]