What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Mary takes a plane, then Charles is sad. Mary is taking a plane if and only if Joseph is happy. Charles is not sad.
Mary is not taking a plane. If Mary takes a plane, then Joseph is happy. If Joseph were happy, then Mary is taking a plane.