Translate the following inference to logic notation: Thomas is writing a letter if and only if it is snowing. For all x, x_25 is a doctor and x_25 will listen to a song. For all x, y_2 will not write a letter. Therefore it is not snowing and Karen is a doctor.
P(a) <-> p. forall x: Q(x) and R(x). forall x: ~P(x). Therefore ~p and Q(b).