Translate the following inference to logic notation: For all x, if x reads a book, then x is playing tennis. Jennifer is reading a book. If Jennifer plays tennis, then Joseph is playing a game. Therefore Joseph is playing a game.
forall x: P(x) -> Q(x). P(a). Q(a) -> p. Therefore p.