Translate the following inference to logic notation: It is snowing or Karen is listening to a song. For all x, if x listens to a song, then x is a musician. If it is windy, then Karen is not a musician. If it snows, then Karen is a musician. Therefore it is not windy.
p or P(a). forall x: P(x) -> Q(x). q -> ~Q(a). p -> Q(a). Therefore ~q.