What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Michael is a doctor if and only if Jennifer is excited. For all x_15, x_15 is not a musician. For all x_15, x_15 is a janitor if and only if x_15 is a doctor. For all x_15, x_15 is a musician or x_15 is not a janitor.
If Michael were a doctor, then Jennifer is excited. If Jennifer were excited, then Michael is a doctor. For all x_15, if x_15 were a janitor, then x_15 is a musician. For all x_15, if x_15 were a janitor, then x_15 is a doctor. For all x_15, if x_15 were a doctor, then x_15 is a janitor.