Translate the following inference to logic notation: For all x, x_12 is excited. Richard is rich if and only if it is overcast. For all x, if x_12 were rich, then x_12 is not excited. Therefore it is not overcast.
forall x: P(x). Q(a) <-> p. forall x: Q(x) -> ~P(x). Therefore ~p.