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