Translate the following inference to logic notation: For all x, if x_10 drinks water, then x_10 is cooking. Sarah is a carpenter if and only if Sarah is drinking water. Therefore if Sarah were a carpenter, then Sarah is cooking.
forall x: P(x) -> Q(x). p <-> P(a). Therefore p -> Q(a).