Translate the following inference to logic notation: It is not overcast. It is snowing. If it snows, then William is a musician. It is overcast or it is late. Therefore it is late.
~p. q. q -> r. p or s. Therefore s.