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 drinking water if and only if Susan is listening to a song. Sarah is not working. Sarah is working if and only if David is a carpenter. David is a carpenter if and only if Susan is listening to a song.
If Susan drinks water, then Susan is listening to a song can be inferred via the biconditional elimination rule. If Sarah works, then David is a carpenter can be inferred via the biconditional elimination rule. If David were a carpenter, then Susan is listening to a song can be inferred via the biconditional elimination rule. If Susan listens to a song, then Susan is drinking water can be inferred via the biconditional elimination rule. If David were a carpenter, then Sarah is working can be inferred via the biconditional elimination rule. If Susan listens to a song, then David is a carpenter can be inferred via the biconditional elimination rule. David is not a carpenter can be inferred via the biconditional elimination rule.