The bear is blue. The bear is not young. The bear needs the lion. The bear does not need the mouse. The bear does not need the squirrel. The bear sees the mouse. The bear sees the squirrel. The lion is blue. The lion is not nice. The lion sees the squirrel. The mouse is nice. The mouse likes the bear. The squirrel is rough. The squirrel is young. The squirrel does not see the mouse. If someone sees the lion then they like the mouse. If someone needs the bear and they are blue then the bear is nice. Rough people are young. If someone sees the bear then the bear likes the mouse. If someone likes the lion and they are not blue then the lion is not green. If someone is green and they like the squirrel then they are rough. If someone is rough and they do not see the bear then they need the lion. If someone is young then they do not see the mouse.
The bear is not blue.
@0: The bear does not need the mouse.[(triple4)] The bear does not need the squirrel.[(triple5)] The bear is blue.[(triple1)] The bear is not young.[(triple2)] The bear needs the lion.[(triple3)] The bear sees the mouse.[(triple6)] The bear sees the squirrel.[(triple7)] The lion is blue.[(triple8)] The lion is not nice.[(triple9)] The lion sees the squirrel.[(triple10)] The mouse is nice.[(triple11)] The mouse likes the bear.[(triple12)] The squirrel does not see the mouse.[(triple15 OR ((triple14) -> rule8) OR ((((triple13) -> rule3)) -> rule8))] The squirrel is rough.[(triple13)] The squirrel is young.[(triple14 OR ((triple13) -> rule3))]