Anne is cold. Anne is nice. Anne is red. Anne is not smart. Anne is young. Bob is cold. Bob is red. Bob is smart. Gary is cold. Gary is kind. Gary is nice. Gary is young. Harry is cold. Harry is not kind. Harry is nice. Harry is young. All kind things are cold. All cold things are young. If Bob is cold and Bob is not smart then Bob is red. All cold, smart things are red. All white, young things are not kind. If Harry is not kind then Harry is red. If Anne is not cold then Anne is not nice. If Anne is red and Anne is not cold then Anne is not young.
Gary is not red.