The bear does not chase the squirrel. The bear is cold. The bear is round. The bear needs the squirrel. The bear sees the squirrel. The squirrel chases the bear. The squirrel is cold. The squirrel is not nice. The squirrel is red. The squirrel is round. The squirrel does not need the bear. The squirrel sees the bear. If something sees the bear and it does not chase the squirrel then it is nice. If something sees the squirrel and the squirrel is cold then the squirrel is round. If something chases the squirrel then it sees the bear. If something is young then it sees the bear. If something chases the squirrel then the squirrel does not need the bear. If something chases the squirrel then it does not chase the bear. If something needs the bear and the bear does not chase the squirrel then it is round. If something needs the squirrel then it is young.
The squirrel is not young.
@0: The bear does not chase the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3)] The bear needs the squirrel.[(triple4)] The bear sees the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel does not need the bear.[(triple11)] The squirrel is cold.[(triple7)] The squirrel is not nice.[(triple8)] The squirrel is red.[(triple9)] The squirrel is round.[(triple10 OR ((triple5 triple7) -> rule2))] The squirrel sees the bear.[(triple12)] @1: The bear is young.[(((triple4) -> rule8))] @2: The bear sees the bear.[(((((triple4) -> rule8)) -> rule4))] @3: The bear is nice.[(((((((triple4) -> rule8)) -> rule4) triple1) -> rule1))]