Consider the following premises. p_1 -> p. p_11 -> p_1. ~p. ~t. t <-> q_7. Can we infer q_7 from them?
 From p_1 -> p, ~p we can infer ~p_1. From p_11 -> p_1, ~p_1 we can infer ~p_11. Finally, from t <-> q_7, ~t we can infer ~q_7, which contradicts q_7. Therefore, the answer is no.