The bear chases the squirrel. The squirrel is green. The squirrel needs the bear. If someone chases the squirrel then the squirrel sees the bear. If someone chases the squirrel then the squirrel sees the bear. If someone chases the bear then the bear does not chase the squirrel. If the squirrel does not need the bear then the bear chases the squirrel. If someone needs the bear then they do not chase the squirrel. If someone sees the bear then the bear is green.
The squirrel is green.
@0: The bear chases the squirrel.[(triple1)] The squirrel is green.[(triple2)] The squirrel needs the bear.[(triple3)] @1: The squirrel does not chase the squirrel.[(((triple3) -> rule5))] The squirrel sees the bear.[(((triple1) -> rule1) OR ((triple1) -> rule2))] @2: The bear is green.[(((((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule2)) -> rule6))]