Translate the following inference to logic notation: Jessica is not playing squash. John is working if and only if Jessica is playing tennis. If Jessica plays tennis, then Jessica is playing squash. John is working if and only if Mary is sleeping. Therefore Mary is not sleeping.
~p. q <-> r. r -> p. q <-> s. Therefore ~s.