Translate the following inference to logic notation: For all x, x_6 will not read a book. For all x, if x_6 were fast, then x_6 is reading a book. Richard is an astronaut if and only if John is fast. Therefore Richard is not an astronaut.
forall x: ~P(x). forall x: Q(x) -> P(x). p <-> Q(a). Therefore ~p.