The bald eagle chases the bear. The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is round. The bear chases the bald eagle. The bear is round. The bear needs the bald eagle. The bear needs the mouse. The bear sees the bald eagle. The bear sees the mouse. The mouse is round. The mouse sees the bald eagle. If something chases the mouse and the mouse needs the bald eagle then it chases the bald eagle. If something is round and it needs the mouse then the mouse needs the bald eagle. If something sees the bear and it sees the mouse then the mouse chases the bald eagle.
The bear is not green.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is round.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear is round.[(triple6)] The bear needs the bald eagle.[(triple7)] The bear needs the mouse.[(triple8)] The bear sees the bald eagle.[(triple9)] The bear sees the mouse.[(triple10)] The mouse is round.[(triple11)] The mouse sees the bald eagle.[(triple12)] @1: The mouse needs the bald eagle.[(((triple6 triple8) -> rule2))] @2: The bald eagle chases the bald eagle.[(((triple2 ((triple6 triple8) -> rule2)) -> rule1))]