Translate the following inference to logic notation: For all x, x_12 is happy if and only if x_12 is a lawyer. John is a lawyer if and only if it is raining. Therefore if John were happy, then it is raining.
forall x: P(x) <-> Q(x). Q(a) <-> p. Therefore P(a) -> p.