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: Susan is a soldier. Susan is a soldier if and only if Thomas is a nurse. If it is late, then Thomas is not a nurse.
If Susan were a soldier, then Thomas is a nurse can be inferred via the biconditional elimination rule. If Thomas were a nurse, then Susan is a soldier can be inferred via the biconditional elimination rule.