項書き換えシステムの合流性は永続性をもつので，適当な多ソート型付けにもとづいて項書き換えシステム R を部分システムに分解し，それぞれの部分システムが合流性をもつなら， R も合流性をもつ．しかし，型付けによって部分システムへ分解できない場合には，このような判定方法は使えない．本論文では，部分システムに分解できない非左線形項書き換えシステムに対して適用可能となる，永続性に基づく新しい合流性証明法を提案する．