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 Robert listens to a song, then James is not driving a car. Michael is not fast. Karen is happy if and only if Michael is fast. James is driving a car. Jessica is a carpenter if and only if Robert is listening to a song.
Robert is not listening to a song can be inferred via the modus tollens rule. Michael is not fast and James is driving a car can be inferred via the conjunction rule. James is driving a car and Michael is not fast can be inferred via the conjunction rule. If Karen were happy, then Michael is fast can be inferred via the biconditional elimination rule. If Jessica were a carpenter, then Robert is listening to a song can be inferred via the biconditional elimination rule. If Michael were fast, then Karen is happy can be inferred via the biconditional elimination rule. If Robert listens to a song, then Jessica is a carpenter can be inferred via the biconditional elimination rule. Karen is not happy can be inferred via the biconditional elimination rule.