What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Thomas goes running, then Jennifer is drinking water. If Jennifer were a scientist, then Thomas is running. For all y_2, if y_2 drinks water, then y_2 is a scientist.
If Jennifer were a scientist, then Jennifer is drinking water.