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