Consider the following premises. ~p_17. p_17 and w_4. forall z_2: T(z_2). Can we infer q_4 and T(g_2) from them?
 From forall z_2: T(z_2) we can infer T(g_2). From p_17 and w_4 we can infer p_17. From p_17 we can infer p_17 or q_4. From p_17 or q_4, ~p_17 we can infer q_4. Finally, from q_4, T(g_2) we can infer q_4 and T(g_2). Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.