Consider the following premises. p_1 or q_1. p_1 -> s_2. s_2 -> p_18. ~w. p_18 <-> w. Can we infer ~q_1 from them?
 From p_18 <-> w, ~w we can infer ~p_18. From s_2 -> p_18, ~p_18 we can infer ~s_2. From p_1 -> s_2, ~s_2 we can infer ~p_1. Finally, from p_1 or q_1, ~p_1 we can infer q_1, which contradicts ~q_1. Therefore, the answer is no.