Consider the following premises. t. p_10 -> t_4. ~t_4. t -> p_10. Can we infer q from them?
 From p_10 -> t_4, ~t_4 we can infer ~p_10. From t we can infer t or q. From t -> p_10, ~p_10 we can infer ~t. Finally, from t or q, ~t we can infer q. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.