What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is sunny or it is not windy. If it is sunny, then it is windy. If it is late, then Charles is not working. Charles is working. If it is windy, then it is late.
It is not late. If it is sunny, then it is late. If it is windy, then Charles is not working. If it is windy, then it is sunny.