Translate the following inference to logic notation: John is not working. It is raining. If it is late, then John is working. If it is cloudy, then it is not raining. Therefore it is not late and it is not cloudy.
~p. q. r -> p. s -> ~q. Therefore ~r and ~s.