Translate the following inference to logic notation: If Jennifer goes running, then it is cold. It is not cold. For all x, x is a cashier. If Mary were poor, then Jennifer is running. Therefore Mary is not poor and Susan is a cashier.
p -> q. ~q. forall x: P(x). r -> p. Therefore ~r and P(a).