(\forall x(A(x)\Rightarrow B(x))\land\forall x(C(x)\Rightarrow\lnot A(x)))\Rightarrow\forall x(C(x)\Rightarrow B(x))