Translate the following inference to logic notation: If John were an electrician, then Jennifer is not a doctor. If it is sunny, then Jennifer is writing a letter. Jennifer is not writing a letter. Jennifer is a doctor. Therefore it is not sunny and John is not an electrician.
p -> ~q. r -> s. ~s. q. Therefore ~r and ~p.