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: Linda is playing a game and Karen is climbing a mountain. Jessica is a soldier if and only if Jennifer is an artist. For all z, z is not an artist.
Linda is playing a game can be inferred via the simplification rule. Karen is climbing a mountain can be inferred via the simplification rule. If Jessica were a soldier, then Jennifer is an artist can be inferred via the biconditional elimination rule. If Jennifer were an artist, then Jessica is a soldier can be inferred via the biconditional elimination rule.