What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is poor if and only if it is late. Richard is not poor. It is windy or Michael is a mechanic. It is not windy.
Michael is a mechanic. Richard is not poor and it is not windy. It is not windy and Richard is not poor. If Richard were poor, then it is late. If it is late, then Richard is poor. It is not late.