Translate the following inference to logic notation: For all x, x_15 is a sailor or x_15 will play a game. Elisabeth is not a sailor. Elisabeth is not playing a game. Therefore James is fast.
forall x: P(x) or Q(x). ~P(a). ~Q(a). Therefore p.