What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? James is sad or it is not sunny. It is sunny or William is not an office clerk. If James were sad, then William is an office clerk.
If it is sunny, then James is sad. If William were an office clerk, then it is sunny.