The bear chases the squirrel. The bear eats the squirrel. The bear is blue. The bear is kind. The bear is nice. The bear is round. The bear is young. The bear sees the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel sees the bear. If someone sees the bear then the bear sees the squirrel. If someone sees the squirrel and the squirrel chases the bear then they eat the squirrel. If someone is blue then they see the squirrel. If the squirrel sees the bear and the squirrel is nice then the bear sees the squirrel. If someone sees the bear and they eat the bear then the bear eats the squirrel. If someone eats the squirrel and they chase the squirrel then they chase the bear.
The squirrel does not eat the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear eats the squirrel.[(triple2 OR ((triple16 triple10) -> rule5) OR ((triple8 triple9) -> rule2) OR ((((triple16) -> rule1) triple9) -> rule2) OR ((((triple3) -> rule3) triple9) -> rule2) OR ((((triple16 triple13) -> rule4) triple9) -> rule2))] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is round.[(triple6)] The bear is young.[(triple7)] The bear sees the squirrel.[(triple8 OR ((triple16) -> rule1) OR ((triple3) -> rule3) OR ((triple16 triple13) -> rule4))] The squirrel chases the bear.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is round.[(triple14)] The squirrel is young.[(triple15)] The squirrel sees the bear.[(triple16)] @1: The bear chases the bear.[(((triple2 triple1) -> rule6) OR ((((triple16 triple10) -> rule5) triple1) -> rule6) OR ((((triple8 triple9) -> rule2) triple1) -> rule6) OR ((((((triple16) -> rule1) triple9) -> rule2) triple1) -> rule6) OR ((((((triple3) -> rule3) triple9) -> rule2) triple1) -> rule6) OR ((((((triple16 triple13) -> rule4) triple9) -> rule2) triple1) -> rule6))] The squirrel sees the squirrel.[(((triple11) -> rule3))] @2: The squirrel eats the squirrel.[(((((triple11) -> rule3) triple9) -> rule2))]