Translate the following inference to logic notation: It is not overcast. It is overcast if and only if William is a bartender. It is overcast or Michael is not climbing a mountain. If William were a bartender, then Michael is climbing a mountain. Therefore Michael is not climbing a mountain.
~p. p <-> q. p or ~r. q -> r. Therefore ~r.