Translate the following inference to logic notation: For all x, x will not go running. It is overcast. It is snowing if and only if Joseph is running. Therefore it is overcast.
forall x: ~P(x). p. q <-> P(a). Therefore p.