Translate the following inference to logic notation: Sarah is not playing a game. For all x, x_9 is a scientist or x_9 will play tennis. For all x, x_9 is not a scientist. For all x, x_9 will not play tennis or x_9 will write a letter. Therefore Sarah is writing a letter.
~P(a). forall x: Q(x) or R(x). forall x: ~Q(x). forall x: ~R(x) or S(x). Therefore S(a).