Translate the following inference to logic notation: Susan is driving a car. It is cold or Susan is not driving a car. If Patricia makes tea, then it is not cold. Therefore Patricia is not making tea.
p. q or ~p. r -> ~q. Therefore ~r.