Translate the following inference to logic notation: Barbara is not a taxi driver. If William were not a lawyer, then Elisabeth is writing a letter. If Elisabeth writes a letter, then William is not a lawyer. Barbara is a taxi driver if and only if William is a lawyer. Therefore Elisabeth is writing a letter.
~p. ~q -> r. r -> ~q. p <-> q. Therefore r.