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