test/regress/regress0/smallcnf.cvc

   1 a, b, c : BOOLEAN;
   2
   3 ASSERT NOT a OR NOT b;
   4 ASSERT c OR b OR a;
   5 ASSERT b OR NOT a;
   6 ASSERT a OR NOT b OR c;
   7 % EXPECT: not_entailed
   8 QUERY FALSE;
   9