Consider the following premises. t. p_10 -> p_3. p_3 -> p_10. ~p_3. Can we infer ~p_10 and t from them?
 From p_10 -> p_3, p_3 -> p_10 we can infer p_10 <-> p_3. From p_10 <-> p_3, ~p_3 we can infer ~p_10. Finally, from ~p_10, t we can infer ~p_10 and t. Therefore, the answer is yes.