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 Thomas were an office clerk, then David is not a scientist. Barbara is curious. David is a scientist.
Thomas is not an office clerk can be inferred via the modus tollens rule. Barbara is curious and David is a scientist can be inferred via the conjunction rule. David is a scientist and Barbara is curious can be inferred via the conjunction rule.