Consider the following premises. forall x: W(x) and R(x). r_3. Can we infer ~W(b) from them?
 From forall x: W(x) and R(x) we can infer W(b) and R(b). Finally, from W(b) and R(b) we can infer W(b), which contradicts ~W(b). Therefore, the answer is no.