Translate the following inference to logic notation: If Richard listens to a song, then William is sleeping. If it is sunny, then William is not sleeping. For all x, x_18 will listen to a song. Therefore it is not sunny.
P(a) -> p. q -> ~p. forall x: P(x). Therefore ~q.