Translate the following inference to logic notation: If Susan were a cashier, then Joseph is an astronaut. It is cloudy if and only if Susan is a cashier. For all x, x_10 is not an astronaut. Therefore it is not cloudy.
p -> P(a). q <-> p. forall x: ~P(x). Therefore ~q.