Translate the following inference to logic notation: If William were rich, then Michael is not a cashier. It is overcast. Michael is a cashier. If it is overcast, then Michael is an astronaut. Therefore William is not rich and Michael is an astronaut.
p -> ~q. r. q. r -> s. Therefore ~p and s.