Translate the following inference to logic notation: Mary is sleeping or it is not cold. If Mary sleeps, then it is overcast. It is not overcast. Therefore it is not cold.
p or ~q. p -> r. ~r. Therefore ~q.