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