Translate the following inference to logic notation: If Karen were curious, then Mary is a sailor. Mary is not a sailor. If Jennifer drinks water, then Karen is curious. Therefore Jennifer is not drinking water.
p -> q. ~q. r -> p. Therefore ~r.