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: Thomas is running or Michael is not an astronaut. If Susan were fast, then it is overcast. If Thomas goes running, then Susan is fast. If it is overcast, then Michael is an astronaut.
If Susan were fast, then Michael is an astronaut can be inferred via the transitivity rule. If Thomas goes running, then it is overcast can be inferred via the transitivity rule. If Michael were an astronaut, then Thomas is running can be inferred via the rewriting rule.