The bear is not big. The bear is green. The bear likes the mouse. The bear does not need the cow. The bear does not need the mouse. The bear does not need the squirrel. The bear does not see the cow. The cow likes the squirrel. The mouse is kind. The mouse does not like the cow. The mouse does not need the cow. The mouse sees the bear. The mouse sees the squirrel. The squirrel likes the mouse. The squirrel does not need the bear. The squirrel sees the bear. If someone sees the squirrel and they are not big then the squirrel needs the mouse. If the cow needs the squirrel and the squirrel likes the mouse then the cow likes the bear. If someone likes the squirrel and they are not green then the squirrel likes the bear. If someone is big then they like the cow. If someone likes the bear and they do not see the mouse then they need the squirrel. If someone likes the squirrel and they see the squirrel then the squirrel does not see the bear. If the squirrel does not like the cow then the squirrel does not see the bear. If someone likes the mouse and they do not need the mouse then they are not kind.
The mouse does not see the bear.
@0: The bear does not need the cow.[(triple4)] The bear does not need the mouse.[(triple5)] The bear does not need the squirrel.[(triple6)] The bear does not see the cow.[(triple7)] The bear is green.[(triple2)] The bear is not big.[(triple1)] The bear likes the mouse.[(triple3)] The cow likes the squirrel.[(triple8)] The mouse does not like the cow.[(triple10)] The mouse does not need the cow.[(triple11)] The mouse is kind.[(triple9)] The mouse sees the bear.[(triple12)] The mouse sees the squirrel.[(triple13)] The squirrel does not need the bear.[(triple15)] The squirrel likes the mouse.[(triple14)] The squirrel sees the bear.[(triple16)] @1: The bear is not kind.[(((triple3 triple5) -> rule8))]