What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all y_2, if y_2 were a bartender, then y_2 is curious. Joseph is a bartender or Patricia is running. If Patricia goes running, then Joseph is curious. Mary is a janitor and it is cold.
Mary is a janitor. It is cold.