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: Michael is not working. It is not overcast. Sarah is drinking water if and only if it is overcast. If Joseph were curious, then Michael is working.
Joseph is not curious can be inferred via the modus tollens rule. Michael is not working and it is not overcast can be inferred via the conjunction rule. It is not overcast and Michael is not working can be inferred via the conjunction rule. If Sarah drinks water, then it is overcast can be inferred via the biconditional elimination rule. If it is overcast, then Sarah is drinking water can be inferred via the biconditional elimination rule. Sarah is not drinking water can be inferred via the biconditional elimination rule.