Translate the following inference to logic notation: If William reads a book, then Michael is sleeping. If Michael sleeps, then William is an electrician. William is reading a book. For all x, if x_2 were an electrician, then x_2 is reading a book. Therefore Michael is sleeping.
P(a) -> p. p -> Q(a). P(a). forall x: Q(x) -> P(x). Therefore p.