Translate the following inference to logic notation: If Jessica were happy, then Michael is playing a game. If Jessica were happy, then Michael is playing a game. If Michael plays a game, then Jessica is happy. Therefore if Michael plays a game, then Jessica is happy.
p -> q. p -> q. q -> p. Therefore q -> p.