Translate the following inference to logic notation: For all x, x_9 will not read a book. Charles is making tea. For all x, if x_9 makes tea, then x_9 is reading a book. Therefore it is sunny.
forall x: ~P(x). Q(a). forall x: Q(x) -> P(x). Therefore p.