Translate the following inference to logic notation: For all x, x will not go running. For all x, x will go running or x will play squash. Joseph is excited. Therefore Michael is playing squash and Joseph is excited.
forall x: ~P(x). forall x: P(x) or Q(x). p. Therefore Q(a) and p.