The bear chases the squirrel. The bear is big. The bear is kind. The bear needs the squirrel. The bear sees the squirrel. The squirrel does not chase the bear. The squirrel sees the bear. If someone sees the bear then the bear sees the squirrel. If someone sees the bear and they see the squirrel then they are rough. If someone needs the bear then the bear chases the squirrel. If someone is cold and blue then they do not see the bear. If someone sees the bear and the bear sees the squirrel then they need the squirrel. If someone needs the squirrel then they see the squirrel.
The squirrel chases the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear needs the squirrel.[(triple4)] The bear sees the squirrel.[(triple5 OR ((triple4) -> rule6) OR ((triple7) -> rule1))] The squirrel does not chase the bear.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The squirrel needs the squirrel.[(((triple7 triple5) -> rule5) OR ((triple7 ((triple4) -> rule6)) -> rule5) OR ((triple7 ((triple7) -> rule1)) -> rule5))] @2: The squirrel sees the squirrel.[(((((triple7 triple5) -> rule5)) -> rule6) OR ((((triple7 ((triple4) -> rule6)) -> rule5)) -> rule6) OR ((((triple7 ((triple7) -> rule1)) -> rule5)) -> rule6))] @3: The squirrel is rough.[(((triple7 ((((triple7 triple5) -> rule5)) -> rule6)) -> rule2) OR ((triple7 ((((triple7 ((triple4) -> rule6)) -> rule5)) -> rule6)) -> rule2) OR ((triple7 ((((triple7 ((triple7) -> rule1)) -> rule5)) -> rule6)) -> rule2))]