What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Richard were a writer, then Richard is drinking water. If Richard were curious, then Richard is a writer. Richard is curious or Richard is not drinking water.
If Richard were curious, then Richard is drinking water. If Richard drinks water, then Richard is curious.