The bald eagle eats the mouse. The bald eagle does not need the mouse. The bear eats the bald eagle. The bear is young. The bear needs the bald eagle. The bear does not see the mouse. The mouse eats the bear. The mouse is cold. The mouse needs the bear. The mouse does not see the bear. If something is green and blue then it is not cold. If something is young and it eats the bear then it does not see the mouse. If something eats the bald eagle then it sees the bald eagle.
The bear is not cold.
@0: The bald eagle does not need the mouse.[(triple2)] The bald eagle eats the mouse.[(triple1)] The bear does not see the mouse.[(triple6)] The bear eats the bald eagle.[(triple3)] The bear is young.[(triple4)] The bear needs the bald eagle.[(triple5)] The mouse does not see the bear.[(triple10)] The mouse eats the bear.[(triple7)] The mouse is cold.[(triple8)] The mouse needs the bear.[(triple9)] @1: The bear sees the bald eagle.[(((triple3) -> rule3))]