Translate the following inference to logic notation: Richard is not a server. It is cloudy if and only if Susan is running. It is not cloudy. If it is late, then Richard is a server. Therefore it is not late and Susan is not running.
~p. q <-> r. ~q. s -> p. Therefore ~s and ~r.