Translate the following inference to logic notation: If it is overcast, then William is running. If William goes running, then it is cloudy. If it is cloudy, then it is snowing. Therefore if it is overcast, then it is snowing.
p -> q. q -> r. r -> s. Therefore p -> s.