Translate the following inference to logic notation: It is raining if and only if Sarah is a mechanic. Robert is not drinking water. For all x, x_23 is not a mechanic. Robert is drinking water if and only if Jessica is a poet. Therefore it is not raining and Jessica is not a poet.
p <-> P(a). ~q. forall x: ~P(x). q <-> r. Therefore ~p and ~r.