The bald eagle is rough. The bald eagle sees the bear. The bear is blue. The bear needs the bald eagle. The bear needs the mouse. The mouse chases the bald eagle. The mouse is blue. If the bald eagle is rough then the bald eagle chases the bear. If the mouse chases the bear then the mouse needs the bear. If someone chases the bald eagle and the bald eagle sees the bear then the bear is young. If someone is young and they chase the bear then they need the bear. If the bald eagle chases the bear and the bald eagle needs the bear then the bear is blue. If the bear sees the bald eagle then the bear is nice. If someone is young and rough then they are nice. If someone is young then they are blue.
The mouse sees the bear.
@0: The bald eagle is rough.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear is blue.[(triple3 OR ((((triple6 triple2) -> rule3)) -> rule8))] The bear needs the bald eagle.[(triple4)] The bear needs the mouse.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse is blue.[(triple7)] @1: The bald eagle chases the bear.[(((triple1) -> rule1))] The bear is young.[(((triple6 triple2) -> rule3))]