What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Charles were curious, then Michael is not an office clerk. Michael is an office clerk or William is not a server. William is a server.
If William were a server, then Michael is an office clerk.