（つまり理論群が全て真であることは最初から保証せず）
この部分削っちゃダメだろ
反証がなかったからといって全てが真であることは最初から保証されてない。