What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_3, x_3 is a bartender if and only if x_3 will take a plane. Joseph is taking a plane if and only if Jessica is running. For all x_12, x_12 will not go running.
If Joseph takes a plane, then Jessica is running. If Jessica goes running, then Joseph is taking a plane. For all x_3, if x_3 were a bartender, then x_3 is taking a plane. For all x_3, if x_3 takes a plane, then x_3 is a bartender.