Translate the following inference to logic notation: For all x, x_8 will go running if and only if x_8 is a lawyer. Jennifer is a lawyer if and only if Richard is a mechanic. For all x, x_8 will not go running. Therefore Richard is not a mechanic.
forall x: P(x) <-> Q(x). Q(a) <-> p. forall x: ~P(x). Therefore ~p.