What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If James were a janitor, then Jessica is a lawyer. It is late if and only if Jessica is a lawyer. If James were not a janitor, then Joseph is taking a plane. It is not late.
If it is late, then Jessica is a lawyer. If Jessica were a lawyer, then it is late. Jessica is not a lawyer.