極大概念の推論を追加
ラベルを変更