Translate the following inference to logic notation: If it is late, then Charles is not cooking. Charles is a cashier. For all x, if x_14 were a cashier, then x_14 is cooking. Therefore it is not late.
p -> ~P(a). Q(a). forall x: Q(x) -> P(x). Therefore ~p.