Translate the following inference to logic notation: Linda is not playing a game. For all x, x_15 will play a game and x_15 is a server. Therefore Susan is reading a book.
~P(a). forall x: P(x) and Q(x). Therefore p.