What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Mary were an office clerk, then it is windy. If Karen were rich, then it is windy. Mary is an office clerk or Karen is rich. Charles is reading a book.
It is windy.