Translate the following inference to logic notation: For all x, if x_10 were a writer, then x_10 is working. If Joseph works, then Elisabeth is cooking. If Elisabeth cooks, then David is curious. Therefore if Joseph were a writer, then David is curious.
forall x: P(x) -> Q(x). Q(a) -> p. p -> q. Therefore P(a) -> q.