Consider the following premises. Richard is running if and only if Richard is fast. For all x_12, if x_12 were fast, then x_12 is running. Can we infer the following from them? If Richard goes running, then Richard is fast.
 From the fact that for all x_12, if x_12 were fast, then x_12 is running we can infer that if Richard were fast, then Richard is running. Finally, from the fact that Richard is running if and only if Richard is fast we can infer that if Richard goes running, then Richard is fast. Therefore, the answer is yes.