Translate the following inference to logic notation: Elisabeth is not an artist. Elisabeth is making tea if and only if it is sunny. For all x, x_7 will make tea if and only if x_7 is an artist. Therefore it is not sunny.
~P(a). Q(a) <-> p. forall x: Q(x) <-> P(x). Therefore ~p.