The bear chases the squirrel. The bear is not big. The bear is blue. The bear likes the dog. The bear sees the dog. The bear sees the squirrel. The dog chases the squirrel. The dog likes the bear. The squirrel chases the dog. The squirrel is big. The squirrel is kind. The squirrel is not rough. The squirrel likes the dog. The squirrel sees the bear. The squirrel sees the dog. If something sees the squirrel and it likes the squirrel then the squirrel chases the bear. If something is big and it chases the squirrel then it is kind. If something likes the bear and it chases the bear then it likes the dog. If something chases the bear then it does not see the squirrel. If something sees the dog then the dog chases the squirrel. If something is big then it likes the squirrel. If something likes the squirrel and the squirrel chases the bear then the bear sees the dog. If something chases the squirrel and it is not kind then the squirrel is not red.
The bear is not big.
@0: The bear chases the squirrel.[(triple1)] The bear is blue.[(triple3)] The bear is not big.[(triple2)] The bear likes the dog.[(triple4)] The bear sees the dog.[(triple5)] The bear sees the squirrel.[(triple6)] The dog chases the squirrel.[(triple7 OR ((triple15) -> rule5) OR ((triple5) -> rule5))] The dog likes the bear.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel is big.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is not rough.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel sees the dog.[(triple15)] @1: The squirrel likes the squirrel.[(((triple10) -> rule6))]