Translate the following inference to logic notation: For all x, if z cooks, then z is poor. If Richard were poor, then Richard is cooking. Richard is not poor. Therefore Richard is not cooking.
forall x: P(x) -> Q(x). Q(a) -> P(a). ~Q(a). Therefore ~P(a).