Translate the following inference to logic notation: Robert is playing a game or Susan is not playing squash. If Robert plays a game, then Elisabeth is cooking. For all x, x_10 will not cook. Therefore Susan is not playing squash.
p or ~q. p -> P(a). forall x: ~P(x). Therefore ~q.