Translate the following inference to logic notation: For all x, z_3 is not a soldier. If Robert were a soldier, then William is driving a car. If William drives a car, then Robert is a soldier. Therefore William is not driving a car.
forall x: ~P(x). P(a) -> p. p -> P(a). Therefore ~p.