Translate the following inference to logic notation: It is not late. If it is overcast, then Susan is sleeping. If Susan were an astronaut, then it is late. If Susan sleeps, then it is overcast. If Susan sleeps, then Susan is an astronaut. Therefore it is not overcast.
~p. q -> r. s -> p. r -> q. r -> s. Therefore ~q.