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