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