Translate the following inference to logic notation: Sarah is not a carpenter. For all x, if x_16 sleeps, then x_16 is a carpenter. If Sarah were a carpenter, then Sarah is sleeping. Therefore Sarah is not sleeping or Karen is a cashier.
~P(a). forall x: Q(x) -> P(x). P(a) -> Q(a). Therefore ~Q(a) or p.