Translate the following inference to logic notation: Richard is not sleeping. Richard is sleeping if and only if David is a bartender. If Richard were not a lawyer, then it is overcast. If Richard were a lawyer, then David is a bartender. Therefore it is overcast.
~p. p <-> q. ~r -> s. r -> q. Therefore s.