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