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 z, z is rich if and only if z is fast. If Richard were fast, then Joseph is climbing a mountain. Michael is not a server. Joseph is climbing a mountain if and only if Michael is a server.
If Joseph climbs a mountain, then Michael is a server can be inferred via the biconditional elimination rule. If Michael were a server, then Joseph is climbing a mountain can be inferred via the biconditional elimination rule. Joseph is not climbing a mountain can be inferred via the biconditional elimination rule. For all z, if z were rich, then z is fast can be inferred via the universal biconditional elimination rule. For all z, if z were fast, then z is rich can be inferred via the universal biconditional elimination rule.