これらの節formula_88が反駁の対象となる節集合である。