Translate the following inference to logic notation: If Joseph were happy, then Sarah is a lawyer. For all x, x_10 is not a lawyer. Joseph is happy if and only if Richard is a writer. Therefore Richard is not a writer.
p -> P(a). forall x: ~P(x). p <-> q. Therefore ~q.