Anne is not cold. Anne is furry. Anne is red. Anne is rough. Charlie is not nice. Harry is furry. Harry is young. All cold things are young. If something is cold then it is not red. If something is furry then it is green. All red things are rough. If Harry is green and Harry is young then Harry is cold. If something is green and not rough then it is cold.
Harry is not red.