Charlie is big. Charlie is not cold. Charlie is green. Charlie is nice. Charlie is smart. Charlie is not white. Dave is big. Dave is green. Dave is smart. Dave is white. Dave is not young. Gary is smart. Gary is young. Harry is big. Harry is young. If someone is not young then they are smart. If someone is white then they are green. All young, cold people are big. If someone is cold then they are nice. If Harry is green and Harry is white then Harry is cold. Young people are cold.
Harry is white.