Consider the following premises. For all x_8, x_8 is a sailor if and only if x_8 is excited. There is at least one x_8 for which if x_8 goes running, then x_8 is a sailor. For all x_8, if x_8 were excited, then x_8 is running. Can we infer the following from them? There is at least one x_8 for which x_8 is excited if and only if x_8 will go running.
 From the fact that for all x_8, x_8 is a sailor if and only if x_8 is excited we can infer that for all x_8, if x_8 were a sailor, then x_8 is excited. From the fact that there is at least one x_8 for which if x_8 goes running, then x_8 is a sailor, and that for all x_8, if x_8 were a sailor, then x_8 is excited we can infer that there is at least one x_8 for which if x_8 goes running, then x_8 is excited. Finally, from the fact that for all x_8, if x_8 were excited, then x_8 is running, and that there is at least one x_8 for which if x_8 goes running, then x_8 is excited we can infer that there is at least one x_8 for which x_8 is excited if and only if x_8 will go running. Therefore, the answer is yes.