What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? David is a soldier if and only if William is running. For all x_16, x_16 will not go running. Michael is sleeping.
If David were a soldier, then William is running. If William goes running, then David is a soldier.