Translate the following inference to logic notation: It is snowing or Sarah is not writing a letter. It is not snowing. If Sarah doesn't write a letter, then it is cold. Therefore it is cold.
p or ~q. ~p. ~q -> r. Therefore r.