Translate the following inference to logic notation: Jennifer is a carpenter. For all x, x_10 is not a soldier. Jennifer is a carpenter if and only if Jessica is a soldier. Therefore it is raining.
p. forall x: ~P(x). p <-> P(a). Therefore q.