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