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 does not like the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is big. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel likes the bear. If something likes the squirrel then it chases the squirrel. If something chases the bear then it chases the squirrel. If something chases the squirrel and the squirrel is kind then the squirrel does not chase the bear. If the bear likes the squirrel and the bear does not eat the squirrel then the bear chases the squirrel. If something likes the bear then it is nice. If something eats the bear and it does not chase the squirrel then the squirrel likes the bear. If something is nice then it eats the bear. If something likes the squirrel then it eats the bear.
The squirrel likes the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear does not like the squirrel.[(triple8)] The bear eats the squirrel.[(triple2)] The bear is big.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is rough.[(triple6)] The bear is round.[(triple7)] The squirrel chases the bear.[(triple9)] The squirrel eats the bear.[(triple10 OR ((triple12) -> rule7) OR ((((triple15) -> rule5)) -> rule7))] The squirrel is big.[(triple11)] The squirrel is nice.[(triple12 OR ((triple15) -> rule5))] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the bear.[(triple15)] @1: The bear eats the bear.[(((triple5) -> rule7))] The squirrel chases the squirrel.[(((triple9) -> rule2))]