Translate the following inference to logic notation: It is not overcast. For all x, x will not climb a mountain. Michael is climbing a mountain if and only if Richard is rich. Susan is sleeping if and only if it is overcast. Therefore Susan is not sleeping and Richard is not rich.
~p. forall x: ~P(x). P(a) <-> q. r <-> p. Therefore ~r and ~q.