Translate the following inference to logic notation: If Susan were a lawyer, then it is not sunny. It is late if and only if Michael is driving a car. Michael is not driving a car. It is sunny. Therefore it is not late and Susan is not a lawyer.
p -> ~q. r <-> s. ~s. q. Therefore ~r and ~p.