Translate the following inference to logic notation: If it is cloudy, then Charles is not reading a book. For all x, if x_10 were poor, then x_10 is reading a book. For all x, x_10 is poor. Therefore it is not cloudy.
p -> ~P(a). forall x: Q(x) -> P(x). forall x: Q(x). Therefore ~p.