Translate the following inference to logic notation: Michael is not a musician. If John were an astronaut, then it is overcast. John is an astronaut or Linda is a carpenter. If Linda were a carpenter, then Michael is a musician. Therefore it is overcast.
~p. q -> r. q or s. s -> p. Therefore r.