Consider the following premises. For all x, x will go running if and only if x is an electrician. If Susan were an electrician, then Susan is running. Can we infer the following from them? Susan is an electrician if and only if Susan is running.
 From the fact that for all x, x will go running if and only if x is an electrician we can infer that for all x, if x goes running, then x is an electrician. From the fact that for all x, if x goes running, then x is an electrician we can infer that if Susan goes running, then Susan is an electrician. Finally, from the fact that if Susan were an electrician, then Susan is running, and that if Susan goes running, then Susan is an electrician we can infer that Susan is an electrician if and only if Susan is running. Therefore, the answer is yes.