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