Translate the following inference to logic notation: For all x, x_16 will not cook. Sarah is cooking if and only if Jennifer is climbing a mountain. David is curious. Therefore Jennifer is not climbing a mountain.
forall x: ~P(x). P(a) <-> p. q. Therefore ~p.