Translate the following inference to logic notation: If Jennifer reads a book, then Mary is taking a plane. Richard is an artist or Jennifer is playing tennis. For all x, if x_14 plays tennis, then x_14 is reading a book. If Richard were an artist, then Jennifer is reading a book. Therefore Mary is taking a plane.
P(a) -> p. q or Q(a). forall x: Q(x) -> P(x). q -> P(a). Therefore p.