Consider the following premises. p_13 <-> t. t <-> p_1. p_1 or q. ~p_13. Can we infer q from them?
 From p_13 <-> t, ~p_13 we can infer ~t. From t <-> p_1 we can infer p_1 -> t. From p_1 -> t, ~t we can infer ~p_1. Finally, from p_1 or q, ~p_1 we can infer q. Therefore, the answer is yes.