Translate the following inference to logic notation: For all x, if x_12 were an office clerk, then x_12 is running. Charles is an office clerk. If Charles goes running, then Charles is an office clerk. Therefore Charles is running.
forall x: P(x) -> Q(x). P(a). Q(a) -> P(a). Therefore Q(a).