What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is playing squash. Michael is sleeping if and only if Patricia is a janitor. If Karen cooks, then Michael is sleeping. Patricia is not a janitor.
Thomas is playing squash and Patricia is not a janitor. Patricia is not a janitor and Thomas is playing squash. If Michael sleeps, then Patricia is a janitor. If Patricia were a janitor, then Michael is sleeping. Michael is not sleeping.