Translate the following inference to logic notation: For all x, x_2 will play a game if and only if x_2 is happy. Therefore if Michael were happy, then Michael is playing a game.
forall x: P(x) <-> Q(x). Therefore Q(a) -> P(a).