Consider the following premises. q <-> s. ~s. p_14 and p_2. Can we infer q from them?
 From p_14 and p_2 we can infer p_14. Finally, from q <-> s, ~s we can infer ~q, which contradicts q. Therefore, the answer is no.