The squirrel is kind. All cold things are blue. If something is blue then it is not cold. If the squirrel is cold then the squirrel is kind. Rough things are kind. If the squirrel is kind and the squirrel is not blue then the squirrel is rough. If something is blue and not kind then it is not round. Kind things are not round. If something is rough then it is round.
The squirrel is not kind.
@0: The squirrel is kind.[(triple1)] @1: The squirrel is not round.[(((triple1) -> rule7))]