The bear eats the squirrel. The bear needs the lion. The lion chases the bear. The lion does not eat the bear. The lion eats the squirrel. The lion is not green. The lion is kind. The lion does not need the bear. The lion needs the squirrel. The squirrel chases the bear. The squirrel eats the lion. The squirrel is kind. If the lion eats the bear then the bear does not chase the lion. If someone is rough then they need the squirrel. If someone needs the lion and the lion is cold then they are rough. If someone chases the bear and they do not eat the squirrel then they eat the bear. If someone is nice then they eat the bear. If someone chases the bear and they eat the lion then the lion is cold. If the lion eats the bear and the bear chases the squirrel then the bear is nice. If someone needs the squirrel and they are not kind then the squirrel does not need the lion.
The squirrel is not nice.
@0: The bear eats the squirrel.[(triple1)] The bear needs the lion.[(triple2)] The lion chases the bear.[(triple3)] The lion does not eat the bear.[(triple4)] The lion does not need the bear.[(triple8)] The lion eats the squirrel.[(triple5)] The lion is kind.[(triple7)] The lion is not green.[(triple6)] The lion needs the squirrel.[(triple9)] The squirrel chases the bear.[(triple10)] The squirrel eats the lion.[(triple11)] The squirrel is kind.[(triple12)] @1: The lion is cold.[(((triple10 triple11) -> rule6))] @2: The bear is rough.[(((triple2 ((triple10 triple11) -> rule6)) -> rule3))] @3: The bear needs the squirrel.[(((((triple2 ((triple10 triple11) -> rule6)) -> rule3)) -> rule2))]