Consider the following premises. s <-> w_1. t_2 -> ~q_4. q_4. s. Can we infer w_1 and ~t_2 from them?
 From s <-> w_1 we can infer s -> w_1. From t_2 -> ~q_4, q_4 we can infer ~t_2. From s -> w_1, s we can infer w_1. Finally, from w_1, ~t_2 we can infer w_1 and ~t_2. Therefore, the answer is yes.