The bald eagle is not young. The bald eagle does not need the bear. The bear eats the bald eagle. The bear is green. The bear is rough. The bear is young. The bear needs the bald eagle. The mouse eats the bear. The mouse is rough. The mouse needs the bear. If someone needs the mouse and they need the bear then the bear needs the mouse. If someone chases the mouse then they are not rough. If someone is young then they eat the mouse. If someone needs the bald eagle and the bald eagle does not eat the mouse then the mouse does not chase the bear. If the mouse eats the bald eagle and the mouse needs the bald eagle then the mouse chases the bear. If someone is rough then they chase the bald eagle. If someone eats the bear and they chase the bear then the bear is not rough. If someone eats the bear and they are not rough then the bear is not red.
The bald eagle does not chase the bald eagle.
@0: The bald eagle does not need the bear.[(triple2)] The bald eagle is not young.[(triple1)] The bear eats the bald eagle.[(triple3)] The bear is green.[(triple4)] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear needs the bald eagle.[(triple7)] The mouse eats the bear.[(triple8)] The mouse is rough.[(triple9)] The mouse needs the bear.[(triple10)] @1: The bear chases the bald eagle.[(((triple5) -> rule6))] The bear eats the mouse.[(((triple6) -> rule3))] The mouse chases the bald eagle.[(((triple9) -> rule6))]