Translate the following inference to logic notation: For all x, if x_7 cooks, then x_7 is not running. For all x, x_7 will go running. Richard is reading a book if and only if Thomas is cooking. Therefore Richard is not reading a book.
forall x: P(x) -> ~Q(x). forall x: Q(x). p <-> P(a). Therefore ~p.