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 John were an artist, then Michael is a server. If John were not an artist, then it is snowing. John is a cashier. Michael is not a server.
John is not an artist can be inferred via the modus tollens rule. John is a cashier and Michael is not a server can be inferred via the conjunction rule. Michael is not a server and John is a cashier can be inferred via the conjunction rule.