Translate the following inference to logic notation: For all x, if x_8 takes a plane, then x_8 is reading a book. If Susan were rich, then Michael is taking a plane. For all x, if x_8 reads a book, then x_8 is taking a plane. Therefore if Susan were rich, then Michael is reading a book.
forall x: P(x) -> Q(x). p -> P(a). forall x: Q(x) -> P(x). Therefore p -> Q(a).