Translate the following inference to logic notation: It is windy or it is sunny. It is windy if and only if Mary is playing a game. For all x, x_10 will not play a game. Therefore it is sunny.
p or q. p <-> P(a). forall x: ~P(x). Therefore q.