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