Translate the following inference to logic notation: For all x, y will not work. It is sunny. Mary is working if and only if Susan is happy. Therefore it is sunny.
forall x: ~P(x). p. P(a) <-> q. Therefore p.