The bear chases the squirrel. The squirrel is nice. The squirrel is not young. If someone needs the bear then the bear is young. If someone chases the squirrel then the squirrel needs the bear. If someone needs the bear then they chase the squirrel. If the bear sees the squirrel and the bear is not young then the bear needs the squirrel. If someone needs the squirrel and the squirrel sees the bear then they see the squirrel. If someone chases the squirrel then they do not see the squirrel.
The squirrel is young.
@0: The bear chases the squirrel.[(triple1)] The squirrel is nice.[(triple2)] The squirrel is not young.[(triple3)] @1: The bear does not see the squirrel.[(((triple1) -> rule6))] The squirrel needs the bear.[(((triple1) -> rule2))] @2: The bear is young.[(((((triple1) -> rule2)) -> rule1))] The squirrel chases the squirrel.[(((((triple1) -> rule2)) -> rule3))] @3: The squirrel does not see the squirrel.[(((((((triple1) -> rule2)) -> rule3)) -> rule6))]