Translate the following inference to logic notation: For all x, x_2 is rich if and only if x_2 will drink water. Therefore if Jessica were rich, then Jessica is drinking water.
forall x: P(x) <-> Q(x). Therefore P(a) -> Q(a).