Translate the following inference to logic notation: If John climbs a mountain, then Patricia is running. Patricia is not running. If David drinks water, then John is climbing a mountain. John is climbing a mountain or Patricia is not running. Therefore David is not drinking water.
p -> q. ~q. r -> p. p or ~q. Therefore ~r.