The bear chases the squirrel. The bear is rough. The bear is round. The bear likes the squirrel. The bear sees the squirrel. The squirrel chases the bear. The squirrel is nice. The squirrel is round. The squirrel likes the bear. The squirrel sees the bear. If the squirrel chases the bear and the squirrel is rough then the squirrel likes the bear. If something is rough and it chases the squirrel then the squirrel is round. If something chases the bear then it is nice. If something chases the bear and it sees the squirrel then the squirrel is rough. If something sees the squirrel and it is nice then it is rough. If something is big then it chases the squirrel.
The squirrel is round.
@0: The bear chases the squirrel.[(triple1)] The bear is rough.[(triple2)] The bear is round.[(triple3)] The bear likes the squirrel.[(triple4)] The bear sees the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel is nice.[(triple7 OR ((triple6) -> rule3))] The squirrel is round.[(triple8 OR ((triple2 triple1) -> rule2))] The squirrel likes the bear.[(triple9)] The squirrel sees the bear.[(triple10)]