Translate the following inference to logic notation: For all x, y is not a janitor. Michael is a janitor if and only if it is cold. It is cold if and only if it is raining. Therefore it is not raining.
forall x: ~P(x). P(a) <-> p. p <-> q. Therefore ~q.