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: If William were excited, then Joseph is reading a book. If Joseph drinks water, then Karen is making tea. If Joseph reads a book, then Karen is making tea. Joseph is not drinking water. If Karen makes tea, then Joseph is drinking water.
Karen is not making tea can be inferred via the modus tollens rule. If William were excited, then Karen is making tea can be inferred via the transitivity rule. If Joseph reads a book, then Joseph is drinking water can be inferred via the transitivity rule. Joseph is drinking water if and only if Karen is making tea can be inferred via the biconditional introduction rule. Karen is making tea if and only if Joseph is drinking water can be inferred via the biconditional introduction rule.