Translate the following inference to logic notation: Mary is a scientist. For all x, x_9 will go running if and only if x_9 is a scientist. Therefore Mary is running.
P(a). forall x: Q(x) <-> P(x). Therefore Q(a).