Translate the following inference to logic notation: Richard is not working. Elisabeth is a nurse. Richard is working if and only if it is cold. It is cold. Therefore Jessica is an office clerk.
~p. q. p <-> r. r. Therefore s.