What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jennifer is drinking water if and only if William is a janitor. If William were a janitor, then Patricia is fast. Patricia is not fast. For all x_13, x_13 will drink water or x_13 will climb a mountain.
William is not a janitor. If Jennifer drinks water, then William is a janitor. If William were a janitor, then Jennifer is drinking water.