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