Translate the following inference to logic notation: Jennifer is not drinking water. Karen is reading a book. Jennifer is drinking water or David is not climbing a mountain. Therefore David is not climbing a mountain.
~p. q. p or ~r. Therefore ~r.