これって推論のバグなんじゃないのかなぁ・・・。