Translate the following inference to logic notation: For all x, x_13 will play a game. It is cloudy. Sarah is not playing a game. Therefore Sarah is a carpenter and it is cloudy.
forall x: P(x). p. ~P(a). Therefore Q(a) and p.