Bob is not big. Bob is red. Bob is rough. Charlie is kind. Charlie is rough. Charlie is smart. Dave is big. Dave is kind. Dave is not red. Dave is rough. Harry is smart. Harry is not young. All smart, cold things are red. If Harry is red then Harry is not big. If Bob is young then Bob is smart. If Charlie is big and Charlie is kind then Charlie is not smart. If Bob is not red then Bob is young. If something is not young and not rough then it is cold.
Harry is cold.