Translate the following inference to logic notation: For all x, y_4 is not a musician. For all x, y_4 will read a book or y_4 is excited. There is at least one x for which y_4 is a musician or y_4 is poor. For all x, y_4 will not read a book. Therefore there is at least one x for which y_4 is poor and y_4 is excited.
forall x: ~P(x). forall x: Q(x) or R(x). exists x: P(x) or S(x). forall x: ~Q(x). Therefore exists x: S(x) and R(x).