テスト生成アルゴリズムのSOCRATESは, 冗長故障判定を含めた処理能力の高さから, 組合せ回路のテスト生成で一般によく用いられている。SOCRATESの処理能力が高い理由の一つとして, 含意操作において間接含意を用いることが挙げられる。間接含意は前処理の静的学習で各々の信号線に対する含意操作で求めるが, 得られる間接含意の数は静的学習においてどの信号線から処理するかにより異なる。本研究では, 信号線番号を決定するラベリングアルゴリズムの違いにより, 得られる間接含意数がどのように変化するかを調べ, 更にテスト生成におけるバックトラック回数にどれくらい影響するかを検証する。