Consider the following premises. q_15 -> p_1. ~p_1. p_2 or q_1. p_2 -> q_15. p_1 -> q_15. Can we infer q_1 from them?
 From p_1 -> q_15, q_15 -> p_1 we can infer p_1 <-> q_15. From p_1 <-> q_15, ~p_1 we can infer ~q_15. From p_2 -> q_15, ~q_15 we can infer ~p_2. Finally, from p_2 or q_1, ~p_2 we can infer q_1. Therefore, the answer is yes.