Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Gary is young. Harry is quiet. Harry is smart. Young, smart people are rough. All smart people are nice. If Harry is nice and Harry is young then Harry is smart. Rough, nice people are young. All green, smart people are nice. Young, nice people are quiet. If someone is green and smart then they are rough. Nice, smart people are green.
Harry is not green.