What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is late or Charles is reading a book. Linda is excited or it is not late. If it snows, then Linda is excited. If Charles reads a book, then it is snowing.
If Charles reads a book, then Linda is excited. If it is late, then Linda is excited.