Translate the following inference to logic notation: If it snows, then James is an office clerk. If Jennifer were a doctor, then it is snowing. If James were an office clerk, then it is snowing. James is not an office clerk. If it snows, then Jennifer is a doctor. Therefore Jennifer is not a doctor.
p -> q. r -> p. q -> p. ~q. p -> r. Therefore ~r.