「なんか最近inductive hypothesisを書くのに研究時間のほとんどを費やしているような気がする…」10個くらいの条件のすりあわせでぎりぎりinductionを回してばかりなのでお疲れのご様子です。まあお仕事ですから頑張ってください。