Translate the following inference to logic notation: If Joseph were not a carpenter, then Susan is a lawyer. Mary is writing a letter if and only if Joseph is a carpenter. For all x, x_14 will not write a letter. Therefore Susan is a lawyer.
~p -> q. P(a) <-> p. forall x: ~P(x). Therefore q.