Translate the following inference to logic notation: For all x, if y_2 were excited, then y_2 is reading a book. For all x, y_2 will not read a book. Therefore for all x, y_2 is not excited.
forall x: P(x) -> Q(x). forall x: ~Q(x). Therefore forall x: ~P(x).