Translate the following inference to logic notation: John is working. For all x, if z works, then z is making tea. For all x, if z makes tea, then z is reading a book. Therefore John is reading a book.
P(a). forall x: P(x) -> Q(x). forall x: Q(x) -> R(x). Therefore R(a).