The bear is cold. The bear is young. The bear needs the mouse. The bear sees the lion. The lion needs the bear. The lion sees the squirrel. The mouse eats the lion. The mouse eats the squirrel. The mouse is cold. The mouse is nice. The mouse needs the bear. The mouse sees the bear. The squirrel eats the mouse. The squirrel is cold. The squirrel needs the lion. The squirrel sees the bear. If something eats the mouse then the mouse eats the bear. If something sees the lion then the lion is cold.
The bear is not round.
@0: The bear is cold.[(triple1)] The bear is young.[(triple2)] The bear needs the mouse.[(triple3)] The bear sees the lion.[(triple4)] The lion needs the bear.[(triple5)] The lion sees the squirrel.[(triple6)] The mouse eats the lion.[(triple7)] The mouse eats the squirrel.[(triple8)] The mouse is cold.[(triple9)] The mouse is nice.[(triple10)] The mouse needs the bear.[(triple11)] The mouse sees the bear.[(triple12)] The squirrel eats the mouse.[(triple13)] The squirrel is cold.[(triple14)] The squirrel needs the lion.[(triple15)] The squirrel sees the bear.[(triple16)] @1: The lion is cold.[(((triple4) -> rule2))] The mouse eats the bear.[(((triple13) -> rule1))]