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: If it is sunny, then Jennifer is not a nurse. Sarah is running if and only if Susan is a writer. Sarah is not running. Jennifer is a janitor or James is an artist. If James were an artist, then Jennifer is a nurse. For all x_32, if x_32 were a janitor, then x_32 is a nurse.
If Sarah goes running, then Susan is a writer can be inferred via the biconditional elimination rule. If Susan were a writer, then Sarah is running can be inferred via the biconditional elimination rule. Susan is not a writer can be inferred via the biconditional elimination rule.