Translate the following inference to logic notation: Richard is not sleeping. Richard is sleeping if and only if Jessica is a writer. If Jessica were a writer, then it is sunny. If it is sunny, then Jessica is a writer. Therefore it is not sunny or Karen is cooking.
~p. p <-> q. q -> r. r -> q. Therefore ~r or s.