Translate the following inference to logic notation: For all x, x_6 is not a cashier. Mary is curious or it is raining. For all x, if x_6 were curious, then x_6 is a cashier. Therefore it is raining.
forall x: ~P(x). Q(a) or p. forall x: Q(x) -> P(x). Therefore p.