What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If David doesn't make tea, then it is snowing. If David makes tea, then Joseph is a janitor. If Joseph were a janitor, then Susan is taking a plane. Susan is not taking a plane.
Joseph is not a janitor. If David makes tea, then Susan is taking a plane.