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: Richard is working if and only if Jessica is making tea. For all x_13, x_13 will listen to a song if and only if x_13 is an artist. Mary is an artist if and only if Richard is working. For all x_13, x_13 will not listen to a song.
If Richard works, then Jessica is making tea can be inferred via the biconditional elimination rule. If Mary were an artist, then Richard is working can be inferred via the biconditional elimination rule. If Jessica makes tea, then Richard is working can be inferred via the biconditional elimination rule. If Richard works, then Mary is an artist can be inferred via the biconditional elimination rule. For all x_13, if x_13 listens to a song, then x_13 is an artist can be inferred via the universal biconditional elimination rule. For all x_13, if x_13 were an artist, then x_13 is listening to a song can be inferred via the universal biconditional elimination rule. For all x_13, x_13 is not an artist can be inferred via the universal biconditional elimination rule.