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