Consider the following premises. p_13 or r_3. q_13 <-> t. p_13 <-> q_13. ~t. Can we infer ~r_3 from them?
 From p_13 <-> q_13 we can infer p_13 -> q_13. From q_13 <-> t, ~t we can infer ~q_13. From p_13 -> q_13, ~q_13 we can infer ~p_13. Finally, from p_13 or r_3, ~p_13 we can infer r_3, which contradicts ~r_3. Therefore, the answer is no.