What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Mary is not climbing a mountain. If John were not a politician, then William is poor. Mary is climbing a mountain or John is not a politician.
John is not a politician. If John were a politician, then Mary is climbing a mountain.