What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is not late or James is sad. Thomas is not sleeping or David is a politician. If David were a politician, then William is happy. Thomas is sleeping or it is late. William is not happy.
David is not a politician. It is late or David is a politician.