What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: If Elisabeth were excited, then Elisabeth is a doctor. If David drinks water, then it is sunny. Elisabeth is not excited. For all x_17, if x_17 were a doctor, then x_17 is excited. If it is sunny, then Elisabeth is a doctor.
If David drinks water, then Elisabeth is a doctor can be inferred via the transitivity rule.