Translate the following inference to logic notation: Sarah is not climbing a mountain. If Sarah climbs a mountain, then Joseph is making tea. Sarah is climbing a mountain or Joseph is not making tea. Therefore Joseph is not making tea.
~p. p -> q. p or ~q. Therefore ~q.