Translate the following inference to logic notation: For all x, z is curious. If David were excited, then it is not snowing. It is snowing. Therefore David is not excited and Karen is curious.
forall x: P(x). p -> ~q. q. Therefore ~p and P(a).