A=Aとx=xで paramodulation かけ続けて
eliminate-paramod? で無限ループするバグと

:outコマンドつかった時に出る自由変数のバグを修正した
add commit