Consider the following premises. ~s. t -> q_13. s <-> q_13. Can we infer t from them?
 From s <-> q_13 we can infer q_13 -> s. From q_13 -> s, ~s we can infer ~q_13. Finally, from t -> q_13, ~q_13 we can infer ~t, which contradicts t. Therefore, the answer is no.