Translate the following inference to logic notation: Richard is not a doctor. Sarah is a server or William is working. If Sarah were a server, then it is cloudy. If Richard were a doctor, then it is cloudy. If it is cloudy, then Richard is a doctor. Therefore William is working.
~p. q or r. q -> s. p -> s. s -> p. Therefore r.