What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is a bartender. It is not raining. If David were curious, then Robert is reading a book. If Robert reads a book, then David is curious. David is curious if and only if it is raining.
Patricia is a bartender and it is not raining. It is not raining and Patricia is a bartender. David is curious if and only if Robert is reading a book. Robert is reading a book if and only if David is curious. If David were curious, then it is raining. If it rains, then David is curious. David is not curious.