What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: For all x_32, if x_32 sleeps, then x_32 is an office clerk. If Sarah makes tea, then John is not an office clerk. If William reads a book, then John is an office clerk. John is sleeping or William is reading a book. It is not sunny. It is sunny or it is cloudy.
It is cloudy can be inferred via the disjunctive syllogism rule.