Consider the following premises. w_4 <-> t_1. ~t_1. p. p -> w_4. Can we infer q from them?
 From w_4 <-> t_1, ~t_1 we can infer ~w_4. From p we can infer p or q. From p -> w_4, ~w_4 we can infer ~p. Finally, from p or q, ~p we can infer q. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.