Consider the following premises. q <-> s. s -> s_4. Can we infer q -> s_4 from them?
 From q <-> s we can infer q -> s. Finally, from q -> s, s -> s_4 we can infer q -> s_4. Therefore, the answer is yes.