Bob is cold. Bob is white. Bob is not young. Charlie is white. Charlie is young. Harry is big. Harry is white. If Harry is not young and Harry is not cold then Harry is not green. If Charlie is green then Charlie is young.
Harry is cold.