\neg \forall x (A(x)\Rightarrow B(x))\Rightarrow \neg (\forall x A(x) \Rightarrow \exists x B(x))