Consider the following premises. q_16. p_16 -> ~q_16. p_16 <-> w. w or s. q. Can we infer s and q from them?
 From p_16 -> ~q_16, q_16 we can infer ~p_16. From p_16 <-> w, ~p_16 we can infer ~w. From w or s, ~w we can infer s. Finally, from s, q we can infer s and q. Therefore, the answer is yes.