Translate the following inference to logic notation: Mary is curious if and only if it is sunny. Barbara is not excited. For all x, x_12 is excited if and only if x_12 will drink water. If Mary were curious, then Barbara is drinking water. Therefore it is not sunny.
p <-> q. ~P(a). forall x: P(x) <-> Q(x). p -> Q(a). Therefore ~q.