What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it rains, then Jessica is a soldier. Charles is reading a book or it is raining. If Jessica were a soldier, then it is late. If Charles reads a book, then Jessica is a soldier. If Joseph were excited, then it is late.
If it rains, then it is late. If Charles reads a book, then it is late. Jessica is a soldier.