Gary is green. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. Gary is young. All quiet, round things are smart. Green things are round. Smart things are white. White, quiet things are smart. If Gary is white then Gary is green. All quiet things are round. All white things are red. If Gary is red then Gary is white.
Gary is not round.