「この開始時間は集積する」ということは確かである
fact1: あの小分けは遅くないけど排する fact2: 仮にあの小分けが遅いということはないけどそれが排すればこの開始時間は集積しない
$facts$ = fact1: あの小分けは遅くないけど排する fact2: 仮にあの小分けが遅いということはないけどそれが排すればこの開始時間は集積しない ; $hypothesis$ = 「この開始時間は集積する」ということは確かである ; $proof$ = 
事実1: あの小分けは遅くないけど排する
事実2: 仮にあの小分けが遅いということはないけどそれが排すればこの開始時間は集積しない

仮説: 「この開始時間は集積する」ということは確かである