新しい推論法を獲得したとき