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: Karen is driving a car if and only if Patricia is fast. Patricia is not fast. If William were a sailor, then Patricia is not sleeping. Patricia is sleeping.
William is not a sailor can be inferred via the modus tollens rule. Patricia is not fast and Patricia is sleeping can be inferred via the conjunction rule. Patricia is sleeping and Patricia is not fast can be inferred via the conjunction rule. If Karen drives a car, then Patricia is fast can be inferred via the biconditional elimination rule. If Patricia were fast, then Karen is driving a car can be inferred via the biconditional elimination rule. Karen is not driving a car can be inferred via the biconditional elimination rule.