Bob is young. Charlie is red. Harry is kind. If something is not white then it is smart. If something is young then it is cold. If Harry is kind and Harry is young then Harry is red. All kind things are not white. Red things are not young. If something is smart then it is kind. If something is green and not cold then it is not white. If Charlie is not kind then Charlie is green.
Harry is cold.