Translate the following inference to logic notation: Mary is curious if and only if Joseph is drinking water. For all x, x_14 is not curious. For all x, x_25 is an electrician and x_25 is happy. Therefore Joseph is not drinking water and Susan is an electrician.
P(a) <-> p. forall x: ~P(x). forall x: Q(x) and R(x). Therefore ~p and Q(b).