Translate the following inference to logic notation: James is a lawyer. If William were an office clerk, then John is a scientist. It is not snowing. If John were a scientist, then William is an office clerk. William is an office clerk if and only if it is snowing. Therefore James is a lawyer and John is not a scientist.
p. q -> r. ~s. r -> q. q <-> s. Therefore p and ~r.