What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Michael is playing squash or James is not an office clerk. It is windy or James is an office clerk. It is late if and only if Michael is playing squash. It is not windy or it is late.
James is an office clerk or it is late. If James were an office clerk, then Michael is playing squash. If it is late, then Michael is playing squash. If Michael plays squash, then it is late.