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: For all x_20, x_20 is a scientist or x_20 will not go running. For all x_20, x_20 is not a scientist. Thomas is an artist if and only if Patricia is running.
If Thomas were an artist, then Patricia is running can be inferred via the biconditional elimination rule. If Patricia goes running, then Thomas is an artist can be inferred via the biconditional elimination rule. For all x_20, if x_20 goes running, then x_20 is a scientist can be inferred via the universal rewriting rule.