Translate the following inference to logic notation: For all x, x_3 will not make tea. For all x, x is poor and x is a soldier. Linda is making tea if and only if it is snowing. Therefore it is not snowing and Patricia is poor.
forall x: ~P(x). forall x: Q(x) and R(x). P(a) <-> p. Therefore ~p and Q(b).