What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is late, then it is raining. It is not raining. If Thomas sleeps, then it is late. William is an office clerk and Susan is driving a car.
It is not late. If Thomas sleeps, then it is raining. William is an office clerk. Susan is driving a car.