Translate the following inference to logic notation: For all x, x_12 is a poet if and only if x_12 will climb a mountain. Susan is making tea if and only if Linda is climbing a mountain. For all x, x will not make tea. Therefore Linda is not a poet.
forall x: P(x) <-> Q(x). R(a) <-> Q(b). forall x: ~R(x). Therefore ~P(b).