Consider the following premises. ~p_7. ~p_16. p_7 <-> u. p_16 <-> r_1. Can we infer r_1 from them? If possible, name the inference rules being used at each step.
That contradicts the premises. Therefore the answer is no.