The bear eats the squirrel. The bear is big. The bear is kind. The bear is red. The bear is not young. The bear needs the squirrel. The bear sees the squirrel. The squirrel does not eat the bear. The squirrel is not kind. The squirrel is young. The squirrel needs the bear. The squirrel sees the bear. If someone sees the squirrel and they see the bear then the squirrel is not big. If the squirrel eats the bear then the bear is rough. If the bear needs the squirrel and the squirrel eats the bear then the squirrel sees the bear. If someone sees the bear then they are rough. If someone is rough then they see the squirrel. If someone sees the squirrel and they do not see the bear then the bear is kind. If someone needs the bear and the bear is not kind then the bear is not big. If someone is big and they do not see the squirrel then they eat the squirrel.
The bear does not see the bear.
@0: The bear eats the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is not young.[(triple5)] The bear is red.[(triple4)] The bear needs the squirrel.[(triple6)] The bear sees the squirrel.[(triple7)] The squirrel does not eat the bear.[(triple8)] The squirrel is not kind.[(triple9)] The squirrel is young.[(triple10)] The squirrel needs the bear.[(triple11)] The squirrel sees the bear.[(triple12)] @1: The squirrel is rough.[(((triple12) -> rule4))] @2: The squirrel sees the squirrel.[(((((triple12) -> rule4)) -> rule5))] @3: The squirrel is not big.[(((((((triple12) -> rule4)) -> rule5) triple12) -> rule1))]