Consider the following premises. t or q. t -> p_9. p_9 <-> q_3. ~q_3. Can we infer ~q from them?
 From p_9 <-> q_3, ~q_3 we can infer ~p_9. From t -> p_9, ~p_9 we can infer ~t. Finally, from t or q, ~t we can infer q, which contradicts ~q. Therefore, the answer is no.