Translate the following inference to logic notation: Susan is a mechanic if and only if Mary is sleeping. For all x, z will not climb a mountain. Mary is climbing a mountain if and only if Susan is a mechanic. Therefore Mary is not sleeping or it is sunny.
p <-> q. forall x: ~P(x). P(a) <-> p. Therefore ~q or r.