The dog does not chase the squirrel. The dog is kind. The dog is rough. The dog visits the squirrel. The squirrel chases the dog. The squirrel is not blue. The squirrel is kind. The squirrel is red. The squirrel is not rough. The squirrel needs the dog. If something visits the squirrel then it is not cold.
The dog is not blue.
@0: The dog does not chase the squirrel.[(triple1)] The dog is kind.[(triple2)] The dog is rough.[(triple3)] The dog visits the squirrel.[(triple4)] The squirrel chases the dog.[(triple5)] The squirrel is kind.[(triple7)] The squirrel is not blue.[(triple6)] The squirrel is not rough.[(triple9)] The squirrel is red.[(triple8)] The squirrel needs the dog.[(triple10)] @1: The dog is not cold.[(((triple4) -> rule1))]