What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Michael were a scientist, then Patricia is not cooking. If David were a musician, then it is windy. Michael is a scientist or it is not windy. Patricia is cooking.
Michael is not a scientist. If it is windy, then Michael is a scientist.