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