Translate the following inference to logic notation: It is not cold. It is cold or it is overcast. If Jennifer plays squash, then it is not overcast. Therefore Jennifer is not playing squash.
~p. p or q. r -> ~q. Therefore ~r.