The bear eats the squirrel. The bear is cold. The bear is nice. The bear needs the tiger. The squirrel chases the bear. The squirrel is cold. The squirrel is young. The squirrel needs the bear. The tiger does not eat the bear. The tiger is young. If the bear chases the tiger and the tiger does not eat the squirrel then the tiger chases the bear. If something eats the tiger then it chases the squirrel. If something needs the tiger then it eats the tiger. All blue things are nice. If something eats the squirrel then it is blue. If something eats the squirrel and the squirrel chases the bear then the squirrel needs the tiger. If the tiger chases the squirrel and the squirrel does not eat the tiger then the squirrel is not green. If something is nice and it does not chase the bear then it needs the squirrel.
The squirrel is not green.
@0: The bear eats the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple3 OR ((((triple1) -> rule5)) -> rule4))] The bear needs the tiger.[(triple4)] The squirrel chases the bear.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is young.[(triple7)] The squirrel needs the bear.[(triple8)] The tiger does not eat the bear.[(triple9)] The tiger is young.[(triple10)] @1: The bear eats the tiger.[(((triple4) -> rule3))] The bear is blue.[(((triple1) -> rule5))] The squirrel needs the tiger.[(((triple1 triple5) -> rule6))] @2: The bear chases the squirrel.[(((((triple4) -> rule3)) -> rule2))] The squirrel eats the tiger.[(((((triple1 triple5) -> rule6)) -> rule3))] @3: The squirrel chases the squirrel.[(((((((triple1 triple5) -> rule6)) -> rule3)) -> rule2))]