The bear chases the squirrel. The bear is blue. The bear is not kind. The bear is young. The bear sees the squirrel. The squirrel chases the bear. The squirrel visits the bear. If someone is young and they visit the squirrel then the squirrel sees the bear. If someone visits the bear and they are blue then the bear visits the squirrel. If someone chases the squirrel then they visit the bear. If someone sees the bear and the bear is round then they visit the bear. If the squirrel is blue and the squirrel sees the bear then the squirrel visits the bear. If someone visits the bear then they are round. If the bear does not visit the squirrel then the squirrel is not nice. If someone chases the bear and they do not see the bear then they do not see the squirrel.
The squirrel sees the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear is blue.[(triple2)] The bear is not kind.[(triple3)] The bear is young.[(triple4)] The bear sees the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel visits the bear.[(triple7 OR ((((triple4 ((((triple1) -> rule3) triple2) -> rule2)) -> rule1) ((((triple1) -> rule3)) -> rule6)) -> rule4))] @1: The bear visits the bear.[(((triple1) -> rule3))] The squirrel is round.[(((triple7) -> rule6) OR ((((((triple4 ((((triple1) -> rule3) triple2) -> rule2)) -> rule1) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule6))] @2: The bear is round.[(((((triple1) -> rule3)) -> rule6))] The bear visits the squirrel.[(((((triple1) -> rule3) triple2) -> rule2))] @3: The squirrel sees the bear.[(((triple4 ((((triple1) -> rule3) triple2) -> rule2)) -> rule1))]