Translate the following inference to logic notation: For all x, if y goes running, then y is reading a book. If Barbara were a scientist, then Susan is excited. If David reads a book, then Barbara is a scientist. Therefore if David goes running, then Susan is excited.
forall x: P(x) -> Q(x). p -> q. Q(a) -> p. Therefore P(a) -> q.