Translate the following inference to logic notation: William is not climbing a mountain. If William climbs a mountain, then Patricia is cooking. If Patricia cooks, then William is climbing a mountain. Patricia is cooking if and only if it is cloudy. Therefore it is not cloudy.
~p. p -> q. q -> p. q <-> r. Therefore ~r.