Translate the following inference to logic notation: For all x, if x_23 plays squash, then x_23 is sleeping. If Elisabeth were a lawyer, then Charles is not sleeping. Charles is playing squash or Jessica is poor. If Jessica were poor, then Charles is sleeping. Therefore Elisabeth is not a lawyer or William is bored.
forall x: P(x) -> Q(x). p -> ~Q(a). P(a) or q. q -> Q(a). Therefore ~p or r.