Translate the following inference to logic notation: If Mary were an office clerk, then Richard is playing tennis. For all x, x_8 will climb a mountain. For all x, if x_8 climbs a mountain, then x_8 is playing tennis. Therefore Richard is playing tennis.
p -> P(a). forall x: Q(x). forall x: Q(x) -> P(x). Therefore P(a).