Translate the following inference to logic notation: It is cloudy or William is not climbing a mountain. Robert is not sleeping. William is climbing a mountain if and only if Robert is sleeping. William is climbing a mountain or it is not cloudy. Therefore it is not cloudy.
p or ~q. ~r. q <-> r. q or ~p. Therefore ~p.