Gary is young. Harry is red. Red people are young. All rough people are young. Smart people are quiet. All furry, rough people are smart. If Harry is smart then Harry is green. All young people are rough. All green, rough people are young. If someone is red then they are rough.
Harry is not green.