The bear is blue. The bear needs the squirrel. The bear sees the lion. The cow needs the lion. The lion likes the bear. The lion sees the bear. The squirrel likes the cow. If someone sees the lion then the lion likes the squirrel. If the bear is young and the bear does not need the squirrel then the bear sees the cow. If someone likes the squirrel then the squirrel sees the bear. If someone likes the bear and the bear is nice then the bear does not see the squirrel. If someone needs the squirrel then the squirrel sees the cow. If someone sees the cow and they see the bear then the cow sees the bear. If the squirrel likes the cow then the squirrel needs the bear. If someone likes the squirrel and the squirrel needs the bear then the bear is not red.
The bear does not see the cow.
@0: The bear is blue.[(triple1)] The bear needs the squirrel.[(triple2)] The bear sees the lion.[(triple3)] The cow needs the lion.[(triple4)] The lion likes the bear.[(triple5)] The lion sees the bear.[(triple6)] The squirrel likes the cow.[(triple7)] @1: The lion likes the squirrel.[(((triple3) -> rule1))] The squirrel needs the bear.[(((triple7) -> rule7))] The squirrel sees the cow.[(((triple2) -> rule5))] @2: The bear is not red.[(((((triple3) -> rule1) ((triple7) -> rule7)) -> rule8))] The squirrel sees the bear.[(((((triple3) -> rule1)) -> rule3))] @3: The cow sees the bear.[(((((triple2) -> rule5) ((((triple3) -> rule1)) -> rule3)) -> rule6))]