Translate the following inference to logic notation: For all x, if x_17 were a musician, then x_17 is reading a book. Thomas is reading a book if and only if Richard is a writer. If Richard were a writer, then Thomas is a musician. Therefore if Thomas reads a book, then Thomas is a musician.
forall x: P(x) -> Q(x). Q(a) <-> p. p -> P(a). Therefore Q(a) -> P(a).