Translate the following inference to logic notation: For all x, x_9 is an astronaut. If Jessica goes running, then Susan is not an astronaut. Therefore Jessica is not running.
forall x: P(x). p -> ~P(a). Therefore ~p.