Translate the following inference to logic notation: Charles is a taxi driver or Susan is sleeping. If Charles were a taxi driver, then Susan is playing squash. For all x, x_7 will play squash or x_7 will not sleep. Therefore Susan is playing squash.
p or P(a). p -> Q(a). forall x: Q(x) or ~P(x). Therefore Q(a).