Consider the following premises. t_1. ~q_11. p_11 -> q_11. ~p_11 -> q_3. Can we infer t_1 and q_3 from them? If possible, name the inference rules being used at each step.
 From p_11 -> q_11, ~q_11 we can infer ~p_11 via modus tollens. From ~p_11 -> q_3, ~p_11 we can infer q_3 via modus ponens. Finally, from t_1, q_3 we can infer t_1 and q_3 via conjunction. Therefore, the answer is yes.