The bear is cold. The bear is green. The bear is kind. The bear does not need the lion. The bear needs the mouse. The lion eats the bear. The lion does not eat the mouse. The lion is round. The mouse does not eat the lion. The mouse is round. The mouse does not need the squirrel. The squirrel chases the bear. The squirrel chases the mouse. The squirrel eats the bear. The squirrel is round. If something needs the mouse then it does not need the lion. If something needs the mouse and it eats the lion then it chases the lion. If something is cold then it is rough. If something needs the squirrel and it is cold then it is rough. If something eats the lion then the lion does not chase the squirrel. If something is green and rough then it eats the bear.
The squirrel is green.
@0: The bear does not need the lion.[(triple4 OR ((triple5) -> rule1))] The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear needs the mouse.[(triple5)] The lion does not eat the mouse.[(triple7)] The lion eats the bear.[(triple6)] The lion is round.[(triple8)] The mouse does not eat the lion.[(triple9)] The mouse does not need the squirrel.[(triple11)] The mouse is round.[(triple10)] The squirrel chases the bear.[(triple12)] The squirrel chases the mouse.[(triple13)] The squirrel eats the bear.[(triple14)] The squirrel is round.[(triple15)] @1: The bear is rough.[(((triple1) -> rule3))] @2: The bear eats the bear.[(((triple2 ((triple1) -> rule3)) -> rule6))]