Consider the following premises. forall x: R(x) -> W(x). R(i). forall x: W(x) -> R(x). Can we infer W(i) from them?
 From forall x: W(x) -> R(x), forall x: R(x) -> W(x) we can infer forall x: W(x) <-> R(x). From forall x: W(x) <-> R(x) we can infer W(i) <-> R(i). From W(i) <-> R(i) we can infer R(i) -> W(i). Finally, from R(i) -> W(i), R(i) we can infer W(i). Therefore, the answer is yes.