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. Thomas is a server. If it is overcast, then Thomas is not a server. If Thomas reads a book, then it is late.
Thomas is not reading a book. It is not overcast. It is not late and Thomas is a server. Thomas is a server and it is not late.