Translate the following inference to logic notation: If Jennifer were bored, then John is drinking water. For all x, if y_1 were rich, then y_1 is bored. For all x, if y_1 were bored, then y_1 is rich. Therefore if Jennifer were rich, then John is drinking water.
P(a) -> p. forall x: Q(x) -> P(x). forall x: P(x) -> Q(x). Therefore Q(a) -> p.