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