Translate the following inference to logic notation: Charles is not running. It is cold or it is not windy. If it is cold, then Charles is running. Therefore it is not windy.
~p. q or ~r. q -> p. Therefore ~r.