Translate the following inference to logic notation: For all x, x_3 will read a book or x_3 is not a writer. If Susan reads a book, then Patricia is curious. Therefore if Susan were a writer, then Patricia is curious.
forall x: P(x) or ~Q(x). P(a) -> p. Therefore Q(a) -> p.