The bear chases the squirrel. The bear eats the squirrel. The bear is big. The bear is kind. The bear is nice. The bear is rough. The bear is round. The bear visits the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel visits the bear. If someone chases the squirrel then the squirrel eats the bear. If someone is big then they are kind. If the squirrel chases the bear then the bear visits the squirrel. If someone is kind then they visit the squirrel. If someone eats the bear then they chase the squirrel. If the bear is rough and the bear eats the squirrel then the squirrel visits the bear. If the bear chases the squirrel and the bear is nice then the squirrel is kind. If someone is nice and rough then they chase the squirrel.
The bear chases the bear.
@0: The bear chases the squirrel.[(triple1 OR ((triple5 triple6) -> rule8))] The bear eats the squirrel.[(triple2)] The bear is big.[(triple3)] The bear is kind.[(triple4 OR ((triple3) -> rule2))] The bear is nice.[(triple5)] The bear is rough.[(triple6)] The bear is round.[(triple7)] The bear visits the squirrel.[(triple8 OR ((triple4) -> rule4) OR ((triple9) -> rule3) OR ((((triple3) -> rule2)) -> rule4))] The squirrel chases the bear.[(triple9)] The squirrel eats the bear.[(triple10 OR ((triple1) -> rule1) OR ((((triple13 triple14) -> rule8)) -> rule1) OR ((((triple5 triple6) -> rule8)) -> rule1))] The squirrel is big.[(triple11)] The squirrel is kind.[(triple12 OR ((triple11) -> rule2) OR ((triple1 triple5) -> rule7) OR ((((triple5 triple6) -> rule8) triple5) -> rule7))] The squirrel is nice.[(triple13)] The squirrel is rough.[(triple14)] The squirrel is round.[(triple15)] The squirrel visits the bear.[(triple16 OR ((triple6 triple2) -> rule6))] @1: The squirrel chases the squirrel.[(((triple10) -> rule5) OR ((triple13 triple14) -> rule8) OR ((((triple1) -> rule1)) -> rule5) OR ((((((triple5 triple6) -> rule8)) -> rule1)) -> rule5))] The squirrel visits the squirrel.[(((triple12) -> rule4) OR ((((triple11) -> rule2)) -> rule4) OR ((((triple1 triple5) -> rule7)) -> rule4) OR ((((((triple5 triple6) -> rule8) triple5) -> rule7)) -> rule4))]