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