The bald eagle is cold. The bald eagle does not need the mouse. The bald eagle sees the bear. The bear chases the mouse. The bear is not big. The bear is kind. The bear needs the bald eagle. The bear sees the bald eagle. The bear sees the mouse. The mouse is not big. The mouse is not cold. The mouse is kind. The mouse needs the bald eagle. The mouse needs the bear. The mouse does not see the bear. If something sees the bald eagle and the bald eagle is blue then the bald eagle sees the bear. If something is kind then it does not chase the bald eagle.
The bear needs the bald eagle.
@0: The bald eagle does not need the mouse.[(triple2)] The bald eagle is cold.[(triple1)] The bald eagle sees the bear.[(triple3)] The bear chases the mouse.[(triple4)] The bear is kind.[(triple6)] The bear is not big.[(triple5)] The bear needs the bald eagle.[(triple7)] The bear sees the bald eagle.[(triple8)] The bear sees the mouse.[(triple9)] The mouse does not see the bear.[(triple15)] The mouse is kind.[(triple12)] The mouse is not big.[(triple10)] The mouse is not cold.[(triple11)] The mouse needs the bald eagle.[(triple13)] The mouse needs the bear.[(triple14)] @1: The bear does not chase the bald eagle.[(((triple6) -> rule2))] The mouse does not chase the bald eagle.[(((triple12) -> rule2))]