Translate the following inference to logic notation: For all x, if x_6 drinks water, then x_6 is climbing a mountain. Karen is not climbing a mountain. For all x, x_6 will climb a mountain if and only if x_6 will drink water. Therefore Karen is not drinking water.
forall x: P(x) -> Q(x). ~Q(a). forall x: Q(x) <-> P(x). Therefore ~P(a).