Gary is green. Gary is red. Gary is smart. Gary is white. Gary is young. Harry is green. Harry is rough. Harry is smart. Harry is white. Harry is young. All red things are young. If Gary is young then Gary is not rough. If Gary is green then Gary is young. If something is not smart then it is green. Smart things are red. If something is not smart then it is red.
Gary is red.