Translate the following inference to logic notation: It is cloudy. If Jessica drives a car, then it is not cloudy. Elisabeth is sleeping. If Linda were an astronaut, then Jessica is driving a car. Therefore Linda is not an astronaut and Elisabeth is sleeping.
p. q -> ~p. r. s -> q. Therefore ~s and r.