Consider the following premises. If David climbs a mountain, then Joseph is fast. If Joseph were fast, then David is climbing a mountain. Can we infer the following from them? If we can, name the inference rule being used: If Joseph were fast, then David is climbing a mountain.
That is one of the premises. Therefore, the answer is yes.