Translate the following inference to logic notation: Barbara is not driving a car. David is a soldier. For all x, if x_4 sleeps, then x_4 is driving a car. Therefore Barbara is not sleeping and David is a soldier.
~P(a). p. forall x: Q(x) -> P(x). Therefore ~Q(a) and p.