Translate the following inference to logic notation: If Susan were a writer, then it is sunny. If it is sunny, then Susan is a writer. It is sunny if and only if Elisabeth is a lawyer. Therefore if Susan were a writer, then Elisabeth is a lawyer.
p -> q. q -> p. q <-> r. Therefore p -> r.