Consider the following premises. w <-> W(f). w. forall z_3: ~W(z_3). Can we infer q from them?
 From forall z_3: ~W(z_3) we can infer ~W(f). From w <-> W(f), ~W(f) we can infer ~w. From ~w we can infer ~w or q. Finally, from ~w or q, w we can infer q. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.