\forall x\ \bigl(P(x)\lor Q(x)\bigr)\land\lnot\Bigl[\forall x\ P(x)\lor\forall x\ Q(x)\Bigr]