Translate the following inference to logic notation: It is not raining. Richard is sleeping if and only if it is raining. Linda is a writer. It is late if and only if Richard is sleeping. Therefore it is not late.
~p. q <-> p. r. s <-> q. Therefore ~s.