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