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