Translate the following inference to logic notation: For all x, x_10 is a server or x_10 will play tennis. For all x, x_10 is not a server or x_10 is excited. If Jennifer were excited, then Susan is reading a book. Jennifer is playing tennis if and only if Susan is reading a book. Therefore Susan is reading a book.
forall x: P(x) or Q(x). forall x: ~P(x) or R(x). R(a) -> p. Q(a) <-> p. Therefore p.