Translate the following inference to logic notation: For all x, if y were fast, then y is reading a book. Jessica is excited or David is not reading a book. Therefore if David were fast, then Jessica is excited.
forall x: P(x) -> Q(x). p or ~Q(a). Therefore P(a) -> p.