The bear chases the squirrel. The bear is big. The bear is blue. The bear is green. The bear sees the squirrel. The squirrel chases the bear. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is round. The squirrel sees the bear. The squirrel visits the bear. If the squirrel sees the bear then the bear chases the squirrel. If something chases the bear then the bear visits the squirrel.
The bear chases the bear.
@0: The bear chases the squirrel.[(triple1 OR ((triple11) -> rule1))] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is green.[(triple4)] The bear sees the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel is big.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel is round.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bear visits the squirrel.[(((triple6) -> rule2))]