Translate the following inference to logic notation: It is cold. Mary is not writing a letter. If it is late, then Mary is writing a letter. If it is sunny, then it is not cold. Therefore it is not sunny.
p. ~q. r -> q. s -> ~p. Therefore ~s.