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