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: Patricia is running if and only if Linda is an artist. Linda is an artist or Linda is a doctor. Patricia is running or Linda is not a doctor.
If Linda were a doctor, then Patricia is running can be inferred via the rewriting rule. If Patricia goes running, then Linda is an artist can be inferred via the biconditional elimination rule. If Linda were an artist, then Patricia is running can be inferred via the biconditional elimination rule.