Consider the following premises. p_13 or w. p_5 and t_3. ~p_13. Can we infer ~p_5 from them?
 From p_13 or w, ~p_13 we can infer w. Finally, from p_5 and t_3 we can infer p_5, which contradicts ~p_5. Therefore, the answer is no.