Translate the following inference to logic notation: For all x, x_15 will not cook. Jennifer is playing a game if and only if John is making tea. For all x, if x_15 makes tea, then x_15 is cooking. Therefore Jennifer is not playing a game or Karen is a politician.
forall x: ~P(x). p <-> Q(a). forall x: Q(x) -> P(x). Therefore ~p or q.