Translate the following inference to logic notation: For all x, x_14 will not go running. James is running if and only if it is sunny. Elisabeth is an office clerk. Therefore it is not sunny and Elisabeth is an office clerk.
forall x: ~P(x). P(a) <-> p. q. Therefore ~p and q.