Translate the following inference to logic notation: It is not snowing. John is rich if and only if it is not overcast. If it is overcast, then it is snowing. Therefore John is rich.
~p. q <-> ~r. r -> p. Therefore q.