All of the steps in the argument, other than the inference from (1) to (2), are deductive, and are e...