What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? William is climbing a mountain. For all z, if z were an office clerk, then z is writing a letter. Susan is not writing a letter.
William is climbing a mountain and Susan is not writing a letter. Susan is not writing a letter and William is climbing a mountain.