Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is not smart. All smart things are not green. All big, green things are quiet. All smart things are not green. Green things are big. If Gary is blue then Gary is kind. If something is smart then it is not furry. If something is green and not kind then it is quiet. If Gary is blue and Gary is not quiet then Gary is green.
Gary is not furry.