Translate the following inference to logic notation: If Michael were a cashier, then it is snowing. If it snows, then William is cooking. If it is overcast, then it is snowing. If William cooks, then it is overcast. Therefore if Michael were a cashier, then it is overcast.
p -> q. q -> r. s -> q. r -> s. Therefore p -> s.