Translate the following inference to logic notation: For all x, x_10 is not curious. If Susan listens to a song, then it is snowing. If it snows, then Jennifer is curious. Therefore Susan is not listening to a song.
forall x: ~P(x). p -> q. q -> P(a). Therefore ~p.