Translate the following inference to logic notation: For all x, y will not play a game. Jessica is making tea or it is cold. It is windy if and only if Thomas is playing a game. If it is cold, then Jessica is an artist. For all x, if x_23 makes tea, then x_23 is an artist. Therefore Jessica is an artist and it is not windy.
forall x: ~P(x). Q(a) or p. q <-> P(b). p -> R(a). forall x: Q(x) -> R(x). Therefore R(a) and ~q.