The bald eagle is cold. The bald eagle sees the mouse. The bear is nice. The bear needs the mouse. The bear sees the mouse. The mouse is not big. The rabbit needs the bald eagle. Cold people are round.
The bear does not need the mouse.
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bear is nice.[(triple3)] The bear needs the mouse.[(triple4)] The bear sees the mouse.[(triple5)] The mouse is not big.[(triple6)] The rabbit needs the bald eagle.[(triple7)] @1: The bald eagle is round.[(((triple1) -> rule1))]