The bear chases the squirrel. The bear is blue. The dog eats the bear. The dog sees the bear. The lion eats the squirrel. The squirrel eats the dog. The squirrel is young. If the squirrel sees the bear and the squirrel chases the bear then the bear is big. If something chases the bear then it chases the squirrel. If the squirrel eats the dog then the dog is green. If something eats the dog and it is big then it is young. If something is green then it eats the squirrel. If the squirrel sees the bear then the squirrel is big. If the squirrel sees the lion then the squirrel sees the dog. If something eats the squirrel and it chases the dog then it sees the lion.
The dog is not green.
@0: The bear chases the squirrel.[(triple1)] The bear is blue.[(triple2)] The dog eats the bear.[(triple3)] The dog sees the bear.[(triple4)] The lion eats the squirrel.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel is young.[(triple7)] @1: The dog is green.[(((triple6) -> rule3))] @2: The dog eats the squirrel.[(((((triple6) -> rule3)) -> rule5))]