The bald eagle eats the bear. The bald eagle eats the mouse. The bald eagle is not big. The bald eagle is nice. The bald eagle is rough. The bald eagle needs the dog. The bald eagle sees the bear. The bear does not eat the bald eagle. The bear eats the mouse. The bear is big. The bear sees the bald eagle. The bear sees the mouse. The dog does not eat the mouse. The dog needs the mouse. The mouse is nice. If someone sees the dog then the dog is nice. If someone needs the bald eagle then the bald eagle is rough. If someone is cold then they see the dog. If someone eats the bald eagle and they need the mouse then they see the mouse. If someone eats the bear then the bear needs the mouse. If someone is blue and they need the dog then the dog does not need the bear. If someone eats the bear then the bear is cold. If the dog is cold then the dog needs the mouse.
The bald eagle is not cold.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not big.[(triple3)] The bald eagle is rough.[(triple5)] The bald eagle needs the dog.[(triple6)] The bald eagle sees the bear.[(triple7)] The bear does not eat the bald eagle.[(triple8)] The bear eats the mouse.[(triple9)] The bear is big.[(triple10)] The bear sees the bald eagle.[(triple11)] The bear sees the mouse.[(triple12)] The dog does not eat the mouse.[(triple13)] The dog needs the mouse.[(triple14)] The mouse is nice.[(triple15)] @1: The bear is cold.[(((triple1) -> rule7))] The bear needs the mouse.[(((triple1) -> rule5))] @2: The bear sees the dog.[(((((triple1) -> rule7)) -> rule3))] @3: The dog is nice.[(((((((triple1) -> rule7)) -> rule3)) -> rule1))]