What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? John is a taxi driver. Barbara is not climbing a mountain. If Joseph cooks, then Barbara is climbing a mountain. If Joseph doesn't cook, then it is snowing.
Joseph is not cooking. John is a taxi driver and Barbara is not climbing a mountain. Barbara is not climbing a mountain and John is a taxi driver.