その費用構造は乗り遅れない
fact1: もし「そのソ連軍司令部はいじましくなくてその上戦艦部隊でない」ということは確かでないとしたらその費用構造は近付き難い fact2: 仮にそのソ連軍司令部が近付き難いとしたらこの御骨は戦艦部隊だ fact3: そのロックフェラー財団は注視する fact4: 「この国立劇場は蹴倒さないけど注視する」ということは成り立たないとすればその糖尿病治療は森林浴風景でない fact5: そのソ連軍司令部が聞き流せるとしたら近付き難い fact6: もしもその費用構造が乗り遅れるとすればそのソ連軍司令部は聞き流せる fact7: 仮にその天理教はいじましいならば「「この国立劇場は蹴倒さない一方で注視する」ということは真実だ」ということは本当でない fact8: 仮に「この御骨は戦艦部隊だ」ということは成り立てばその天理教はいじましい fact9: その糖尿病治療は森林浴風景である
void -> assump1: 以下のように仮定する。その費用構造は乗り遅れる; fact6 & assump1 -> int1: そのソ連軍司令部は聞き流せる; int1 & fact5 -> int2: そのソ連軍司令部は近付き難い; int2 & fact2 -> int3: この御骨は戦艦部隊だ; int3 & fact8 -> int4: 「その天理教はいじましい」ということは間違っていない; int4 & fact7 -> int5: 「この国立劇場は蹴倒さないけど注視する」ということは間違っている; int5 & fact4 -> int6: その糖尿病治療は森林浴風景でない; int6 & fact9 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その費用構造は乗り遅れる
$facts$ = fact1: もし「そのソ連軍司令部はいじましくなくてその上戦艦部隊でない」ということは確かでないとしたらその費用構造は近付き難い fact2: 仮にそのソ連軍司令部が近付き難いとしたらこの御骨は戦艦部隊だ fact3: そのロックフェラー財団は注視する fact4: 「この国立劇場は蹴倒さないけど注視する」ということは成り立たないとすればその糖尿病治療は森林浴風景でない fact5: そのソ連軍司令部が聞き流せるとしたら近付き難い fact6: もしもその費用構造が乗り遅れるとすればそのソ連軍司令部は聞き流せる fact7: 仮にその天理教はいじましいならば「「この国立劇場は蹴倒さない一方で注視する」ということは真実だ」ということは本当でない fact8: 仮に「この御骨は戦艦部隊だ」ということは成り立てばその天理教はいじましい fact9: その糖尿病治療は森林浴風景である ; $hypothesis$ = その費用構造は乗り遅れない ; $proof$ = 
void -> assump1: 以下のように仮定する。その費用構造は乗り遅れる; fact6 & assump1 -> int1: そのソ連軍司令部は聞き流せる; int1 & fact5 -> int2: そのソ連軍司令部は近付き難い; int2 & fact2 -> int3: この御骨は戦艦部隊だ; int3 & fact8 -> int4: 「その天理教はいじましい」ということは間違っていない; int4 & fact7 -> int5: 「この国立劇場は蹴倒さないけど注視する」ということは間違っている; int5 & fact4 -> int6: その糖尿病治療は森林浴風景でない; int6 & fact9 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし「そのソ連軍司令部はいじましくなくてその上戦艦部隊でない」ということは確かでないとしたらその費用構造は近付き難い
事実2: 仮にそのソ連軍司令部が近付き難いとしたらこの御骨は戦艦部隊だ
事実3: そのロックフェラー財団は注視する
事実4: 「この国立劇場は蹴倒さないけど注視する」ということは成り立たないとすればその糖尿病治療は森林浴風景でない
事実5: そのソ連軍司令部が聞き流せるとしたら近付き難い
事実6: もしもその費用構造が乗り遅れるとすればそのソ連軍司令部は聞き流せる
事実7: 仮にその天理教はいじましいならば「「この国立劇場は蹴倒さない一方で注視する」ということは真実だ」ということは本当でない
事実8: 仮に「この御骨は戦艦部隊だ」ということは成り立てばその天理教はいじましい
事実9: その糖尿病治療は森林浴風景である

仮説: その費用構造は乗り遅れない
1. 仮定1: 以下のように仮定する。その費用構造は乗り遅れる
2. 事実6と仮定1から、推論1: "そのソ連軍司令部は聞き流せる"が導かれる
3. 推論1と事実5から、推論2: "そのソ連軍司令部は近付き難い"が導かれる
4. 推論2と事実2から、推論3: "この御骨は戦艦部隊だ"が導かれる
5. 推論3と事実8から、推論4: "「その天理教はいじましい」ということは間違っていない"が導かれる
6. 推論4と事実7から、推論5: "「この国立劇場は蹴倒さないけど注視する」ということは間違っている"が導かれる
7. 推論5と事実4から、推論6: "その糖尿病治療は森林浴風景でない"が導かれる
8. 推論6と事実9から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

よって、仮説が証明されました。