Translate the following inference to logic notation: It is not cloudy. If it snows, then Robert is a bartender. If Robert were a bartender, then it is cloudy. If David were a police officer, then it is snowing. Therefore David is not a police officer.
~p. q -> r. r -> p. s -> q. Therefore ~s.