あの集まりは分節化しない
fact1: もし単位面積辺りが狂おしくないとしたらそれは分節化しない fact2: 「あの母子間は仮処分だということはない」ということは確かである fact3: あの母子間は仮処分だということはないしまたオフセットしない fact4: もしこの制御系が単位面積辺りであるならばあの集まりは分節化する fact5: あの母子間が仮処分だということはなくてそれにそれがオフセットしないならこの制御系は単位面積辺りである
fact5 & fact3 -> int1: この制御系は単位面積辺りだ; int1 & fact4 -> hypothesis;
fact5 & fact3 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
あの集まりは分節化しない
fact6 -> int2: もしもあの集まりが単位面積辺りであるがそれが狂おしくないとすればそれは分節化しない;
$facts$ = fact1: もし単位面積辺りが狂おしくないとしたらそれは分節化しない fact2: 「あの母子間は仮処分だということはない」ということは確かである fact3: あの母子間は仮処分だということはないしまたオフセットしない fact4: もしこの制御系が単位面積辺りであるならばあの集まりは分節化する fact5: あの母子間が仮処分だということはなくてそれにそれがオフセットしないならこの制御系は単位面積辺りである ; $hypothesis$ = あの集まりは分節化しない ; $proof$ = 
fact5 & fact3 -> int1: この制御系は単位面積辺りだ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もし単位面積辺りが狂おしくないとしたらそれは分節化しない
事実2: 「あの母子間は仮処分だということはない」ということは確かである
事実3: あの母子間は仮処分だということはないしまたオフセットしない
事実4: もしこの制御系が単位面積辺りであるならばあの集まりは分節化する
事実5: あの母子間が仮処分だということはなくてそれにそれがオフセットしないならこの制御系は単位面積辺りである

仮説: あの集まりは分節化しない
1. 事実5と事実3から、推論1: "この制御系は単位面積辺りだ"が導かれる
2. 推論1と事実4から、仮説が否定される

よって、仮説が否定されました。