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: Sarah is not working. Richard is a soldier if and only if Sarah is working. Charles is a mechanic if and only if Jessica is bored. Richard is a soldier if and only if Jessica is bored.
If Richard were a soldier, then Sarah is working can be inferred via the biconditional elimination rule. If Charles were a mechanic, then Jessica is bored can be inferred via the biconditional elimination rule. If Richard were a soldier, then Jessica is bored can be inferred via the biconditional elimination rule. If Sarah works, then Richard is a soldier can be inferred via the biconditional elimination rule. If Jessica were bored, then Charles is a mechanic can be inferred via the biconditional elimination rule. If Jessica were bored, then Richard is a soldier can be inferred via the biconditional elimination rule. Richard is not a soldier can be inferred via the biconditional elimination rule.