Translate the following inference to logic notation: If Elisabeth were curious, then Linda is reading a book. For all x, if x_14 plays tennis, then x_14 is curious. For all x, x_14 will play tennis. Therefore Linda is reading a book.
P(a) -> p. forall x: Q(x) -> P(x). forall x: Q(x). Therefore p.