Translate the following inference to logic notation: For all x, if x_13 were a scientist, then x_13 is playing tennis. William is sleeping or Mary is a scientist. It is sunny if and only if Mary is playing tennis. William is not sleeping or it is sunny. Therefore Mary is playing tennis.
forall x: P(x) -> Q(x). p or P(a). q <-> Q(a). ~p or q. Therefore Q(a).