Consider the following premises. q_18 -> s. u_3 or s. r_16 -> q_18. ~u_3 or r_16. s -> q_18. Can we infer q_18 or p_1 from them?
 From s -> q_18, q_18 -> s we can infer s <-> q_18. From u_3 or s, ~u_3 or r_16 we can infer s or r_16. From s <-> q_18 we can infer s -> q_18. From s -> q_18, r_16 -> q_18, s or r_16 we can infer q_18. Finally, from q_18 we can infer q_18 or p_1. Therefore, the answer is yes.