Translate the following inference to logic notation: For all x, x_14 will climb a mountain. If Jennifer were bored, then Joseph is not climbing a mountain. Jennifer is bored if and only if it is snowing. Therefore it is not snowing.
forall x: P(x). p -> ~P(a). p <-> q. Therefore ~q.