Translate the following inference to logic notation: For all x, x_17 will not listen to a song. It is sunny if and only if Mary is rich. If it is windy, then it is sunny. If Mary were rich, then David is listening to a song. If David listens to a song, then Mary is rich. Therefore it is not windy.
forall x: ~P(x). p <-> q. r -> p. q -> P(a). P(a) -> q. Therefore ~r.