不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の簡易化