推論の記録の判定

—