Translate the following inference to logic notation: William is not writing a letter. If William writes a letter, then Susan is taking a plane. Susan is taking a plane if and only if Robert is a doctor. William is writing a letter or Susan is not taking a plane. Therefore Robert is not a doctor.
~p. p -> q. q <-> r. p or ~q. Therefore ~r.