% SZS status Theorem for EXISTS__NOT__FORALL__T
% SZS output start Proof for EXISTS__NOT__FORALL__T
  file('i/f/quantHeuristics/EXISTS__NOT__FORALL__THM',ch4s_quantHeuristicss_EXISTSu_u_NOTu_u_FORALLu_u_THM)).
% SZS output end Proof for EXISTS__NOT__FORALL__T
