What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: Joseph is not drinking water. If James were rich, then Joseph is drinking water. Michael is curious. If James were not rich, then Charles is sad.
James is not rich can be inferred via the modus tollens rule. Joseph is not drinking water and Michael is curious can be inferred via the conjunction rule. Michael is curious and Joseph is not drinking water can be inferred via the conjunction rule.