Translate the following inference to logic notation: William is not sleeping. William is sleeping if and only if Linda is climbing a mountain. Richard is not a nurse. Richard is a nurse if and only if Karen is bored. Therefore Karen is not bored and Linda is not climbing a mountain.
~p. p <-> q. ~r. r <-> s. Therefore ~s and ~q.