Translate the following inference to logic notation: If James were an office clerk, then Jessica is an astronaut. Jessica is not an astronaut. If it is overcast, then James is an office clerk. If James were an office clerk, then it is overcast. Therefore it is not overcast.
p -> q. ~q. r -> p. p -> r. Therefore ~r.