もし「この火縄銃は動き始める」ということは本当であるならその本庁各課室は地下深い
fact1: その調べ様は地下深い fact2: この仮定・予測は愚かしくない fact3: あるものは自己抗原である fact4: もしもこの仮定・予測が格好しないがアドホックであるとするとその二十人程度は叩き割る fact5: 着易い物が動き始めるならその本庁各課室は地下深い fact6: この仮定・予測が格好するしそれにそれがアドホックならばあの二十人程度は叩き割る fact7: 「アドホックな」物はある fact8: もし「この仮定・予測は愚かしくない」ということは成り立つならそれは格好するということはないし加えてアドホックである fact9: 「格好するしそれに地下深い」物はある fact10: 仮に何かは叩き割るしかつ動き始めれば「その調べ様はループする」ということは成り立つ fact11: その本庁各課室は着易い fact12: もしこの仮定・予測がループするとするとその調べ様はアドホックだ fact13: もし仮に「その二十人程度は叩き割る」ということは事実だとすればその調べ様はループする fact14: その本庁各課室はアドホックである fact15: 仮にその調べ様がループするならばあの火縄銃は着易い fact16: 「動き始める」ものはある fact17: この仮定・予測は格好しない
fact8 & fact2 -> int1: この仮定・予測は格好しないがしかしアドホックである; int1 & fact4 -> int2: 「その二十人程度は叩き割る」ということは成り立つ; int2 & fact13 -> int3: その調べ様はループする; int3 & fact15 -> int4: この火縄銃は着易い; void -> assump1: 以下のように仮定する。この火縄銃は動き始める; int4 & assump1 -> int5: この火縄銃は着易くてそれは動き始める; int5 -> int6: 何らかの物は着易いししかも動き始める; int6 & fact5 -> int7: その本庁各課室は地下深い; [assump1] & int7 -> hypothesis;
$facts$ = fact1: その調べ様は地下深い fact2: この仮定・予測は愚かしくない fact3: あるものは自己抗原である fact4: もしもこの仮定・予測が格好しないがアドホックであるとするとその二十人程度は叩き割る fact5: 着易い物が動き始めるならその本庁各課室は地下深い fact6: この仮定・予測が格好するしそれにそれがアドホックならばあの二十人程度は叩き割る fact7: 「アドホックな」物はある fact8: もし「この仮定・予測は愚かしくない」ということは成り立つならそれは格好するということはないし加えてアドホックである fact9: 「格好するしそれに地下深い」物はある fact10: 仮に何かは叩き割るしかつ動き始めれば「その調べ様はループする」ということは成り立つ fact11: その本庁各課室は着易い fact12: もしこの仮定・予測がループするとするとその調べ様はアドホックだ fact13: もし仮に「その二十人程度は叩き割る」ということは事実だとすればその調べ様はループする fact14: その本庁各課室はアドホックである fact15: 仮にその調べ様がループするならばあの火縄銃は着易い fact16: 「動き始める」ものはある fact17: この仮定・予測は格好しない ; $hypothesis$ = もし「この火縄銃は動き始める」ということは本当であるならその本庁各課室は地下深い ; $proof$ = 
fact8 & fact2 -> int1: この仮定・予測は格好しないがしかしアドホックである; int1 & fact4 -> int2: 「その二十人程度は叩き割る」ということは成り立つ; int2 & fact13 -> int3: その調べ様はループする; int3 & fact15 -> int4: この火縄銃は着易い; void -> assump1: 以下のように仮定する。この火縄銃は動き始める; int4 & assump1 -> int5: この火縄銃は着易くてそれは動き始める; int5 -> int6: 何らかの物は着易いししかも動き始める; int6 & fact5 -> int7: その本庁各課室は地下深い; [assump1] & int7 -> hypothesis; __PROVED__
事実1: その調べ様は地下深い
事実2: この仮定・予測は愚かしくない
事実3: あるものは自己抗原である
事実4: もしもこの仮定・予測が格好しないがアドホックであるとするとその二十人程度は叩き割る
事実5: 着易い物が動き始めるならその本庁各課室は地下深い
事実6: この仮定・予測が格好するしそれにそれがアドホックならばあの二十人程度は叩き割る
事実7: 「アドホックな」物はある
事実8: もし「この仮定・予測は愚かしくない」ということは成り立つならそれは格好するということはないし加えてアドホックである
事実9: 「格好するしそれに地下深い」物はある
事実10: 仮に何かは叩き割るしかつ動き始めれば「その調べ様はループする」ということは成り立つ
事実11: その本庁各課室は着易い
事実12: もしこの仮定・予測がループするとするとその調べ様はアドホックだ
事実13: もし仮に「その二十人程度は叩き割る」ということは事実だとすればその調べ様はループする
事実14: その本庁各課室はアドホックである
事実15: 仮にその調べ様がループするならばあの火縄銃は着易い
事実16: 「動き始める」ものはある
事実17: この仮定・予測は格好しない

仮説: もし「この火縄銃は動き始める」ということは本当であるならその本庁各課室は地下深い
1. 事実8と事実2から、推論1: "この仮定・予測は格好しないがしかしアドホックである"が導かれる
2. 推論1と事実4から、推論2: "「その二十人程度は叩き割る」ということは成り立つ"が導かれる
3. 推論2と事実13から、推論3: "その調べ様はループする"が導かれる
4. 推論3と事実15から、推論4: "この火縄銃は着易い"が導かれる
5. 仮定1: 以下のように仮定する。この火縄銃は動き始める
6. 推論4と仮定1から、推論5: "この火縄銃は着易くてそれは動き始める"が導かれる
7. 推論5から、推論6: "何らかの物は着易いししかも動き始める"が導かれる
8. 推論6と事実5から、推論7: "その本庁各課室は地下深い"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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