Translate the following inference to logic notation: It is not snowing. It is cold. It is snowing or John is not driving a car. Therefore it is cold and John is not driving a car.
~p. q. p or ~r. Therefore q and ~r.