The dog is not blue. The dog is young. The dog does not like the squirrel. The dog does not see the squirrel. The squirrel chases the dog. The squirrel is blue. The squirrel does not see the dog. If the squirrel is big and the dog does not see the squirrel then the squirrel is not red. If the squirrel does not see the dog then the squirrel is kind. If something is blue then it does not chase the squirrel. If something chases the squirrel and the squirrel chases the dog then the squirrel is young. If something likes the dog and the dog does not see the squirrel then the dog chases the squirrel. If something sees the dog and it does not like the dog then it is blue.
The squirrel is not young.
@0: The dog does not like the squirrel.[(triple3)] The dog does not see the squirrel.[(triple4)] The dog is not blue.[(triple1)] The dog is young.[(triple2)] The squirrel chases the dog.[(triple5)] The squirrel does not see the dog.[(triple7)] The squirrel is blue.[(triple6)] @1: The squirrel does not chase the squirrel.[(((triple6) -> rule3))] The squirrel is kind.[(((triple7) -> rule2))]