Consider the following premises. ~q. p. q -> q_10. q_10 -> q. Can we infer p and ~q_10 from them?
 From q -> q_10, q_10 -> q we can infer q <-> q_10. From q <-> q_10, ~q we can infer ~q_10. Finally, from p, ~q_10 we can infer p and ~q_10. Therefore, the answer is yes.