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 taking a plane. Charles is not working. For all x_22, x_22 is curious if and only if x_22 will work.
Joseph is taking a plane and Charles is not working can be inferred via the conjunction rule. Charles is not working and Joseph is taking a plane can be inferred via the conjunction rule. For all x_22, if x_22 were curious, then x_22 is working can be inferred via the universal biconditional elimination rule. For all x_22, if x_22 works, then x_22 is curious can be inferred via the universal biconditional elimination rule.