Translate the following inference to logic notation: For all x, if y_1 were a nurse, then y_1 is working. If it is sunny, then William is working. William is a nurse or it is sunny. Therefore William is working.
forall x: P(x) -> Q(x). p -> Q(a). P(a) or p. Therefore Q(a).