What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Susan is cooking or Richard is climbing a mountain. Susan is not cooking or it is snowing. For all y, y will not climb a mountain.
Richard is climbing a mountain or it is snowing. If Richard were a musician, then Susan is cooking.