この中央駅が資料集めでないならばあの別当は透ける
fact1: ある物は馬鹿らしくないとしたら「それは浅黒いしおまけに爪でない」ということは成り立たない fact2: もし仮にその別当は委任しないけど透けるなら「資料集めでない」ということは正しい fact3: もし仮にこの中央駅が付け置くならあの筋原線維は資料集めでないが委任する fact4: もしあの筋原線維が付け置かないとするとその別当は透ける fact5: あの筋原線維は取り扱い易い fact6: その別当が馬鹿らしいということはないしその上それは建造しない fact7: もし仮にその別当は付け置くということはないとすれば「あの筋原線維は透けるということはないが修了する」ということは成り立つ fact8: 「その別当は選出するということはない」ということは本当である fact9: もしも「非難がましい」ものがあるとするとこの非武装は資料集めでまた透ける fact10: もし「なにがしかのものは浅黒い一方で爪でない」ということは偽だとすれば「それは結び直さない」ということは成り立つ fact11: もし仮にあの筋原線維が資料集めでないけどそれが付け置くならそれは修了しない fact12: 仮にその別当が馬鹿らしくないしかつ建造しないとしたらあの筋原線維は馬鹿らしくない fact13: あの筋原線維が透けるならこの中央駅は資料集めでないがしかし付け置く fact14: もしこの中央駅が資料集めでないとするとあの筋原線維は修了しないが委任する fact15: もしこの中央駅が修了するということはないならばあの筋原線維は委任するということはないが資料集めだ fact16: 仮にあの筋原線維が透けるならその別当は委任しないがしかしそれは修了する fact17: その別当は修了する fact18: 仮にあの筋原線維が委任するとすればあの中央駅は付け置く fact19: なにかは資料集めであるとしたらそれは付け置かなくてまた打ち出せる fact20: あの筋原線維が結び直さないならばこの中央駅は非難がましいしそれは安楽死する fact21: 「何らかの物は修了するということはないけど委任する」ということは確かだとしたら「付け置かない」ということは正しい fact22: 仮に「あの筋原線維は資料集めである」ということは確かであるとすればこの中央駅は付け置くということはないが委任する
void -> assump1: 以下のように仮定する。この中央駅は資料集めでない; fact14 & assump1 -> int1: あの筋原線維は修了するということはないが委任する; fact21 -> int2: もし仮にあの筋原線維が修了しないけどそれは委任するなら「それは付け置かない」ということは真実だ; int1 & int2 -> int3: あの筋原線維は付け置かない; int3 & fact4 -> int4: その別当は透ける; [assump1] & int4 -> hypothesis;
この非武装は付け置かないけど打ち出せる
fact28 -> int5: もし仮にこの非武装が資料集めであるならそれは付け置かなくておまけに打ち出せる; fact23 -> int6: もし「あの筋原線維は浅黒いが爪でない」ということは成り立たないとすると結び直さない; fact25 -> int7: もしあの筋原線維は馬鹿らしくないなら「浅黒くてさらにそれは爪でない」ということは嘘である; fact29 & fact27 -> int8: あの筋原線維は馬鹿らしいということはない; int7 & int8 -> int9: 「あの筋原線維は浅黒いが爪でない」ということは誤っている; int6 & int9 -> int10: あの筋原線維は結び直さない; fact26 & int10 -> int11: この中央駅は非難がましいし加えて安楽死する; int11 -> int12: この中央駅は非難がましい; int12 -> int13: なにがしかのものは非難がましい; int13 & fact24 -> int14: この非武装は資料集めでかつそれは透ける; int14 -> int15: この非武装は資料集めだ; int5 & int15 -> hypothesis;
$facts$ = fact1: ある物は馬鹿らしくないとしたら「それは浅黒いしおまけに爪でない」ということは成り立たない fact2: もし仮にその別当は委任しないけど透けるなら「資料集めでない」ということは正しい fact3: もし仮にこの中央駅が付け置くならあの筋原線維は資料集めでないが委任する fact4: もしあの筋原線維が付け置かないとするとその別当は透ける fact5: あの筋原線維は取り扱い易い fact6: その別当が馬鹿らしいということはないしその上それは建造しない fact7: もし仮にその別当は付け置くということはないとすれば「あの筋原線維は透けるということはないが修了する」ということは成り立つ fact8: 「その別当は選出するということはない」ということは本当である fact9: もしも「非難がましい」ものがあるとするとこの非武装は資料集めでまた透ける fact10: もし「なにがしかのものは浅黒い一方で爪でない」ということは偽だとすれば「それは結び直さない」ということは成り立つ fact11: もし仮にあの筋原線維が資料集めでないけどそれが付け置くならそれは修了しない fact12: 仮にその別当が馬鹿らしくないしかつ建造しないとしたらあの筋原線維は馬鹿らしくない fact13: あの筋原線維が透けるならこの中央駅は資料集めでないがしかし付け置く fact14: もしこの中央駅が資料集めでないとするとあの筋原線維は修了しないが委任する fact15: もしこの中央駅が修了するということはないならばあの筋原線維は委任するということはないが資料集めだ fact16: 仮にあの筋原線維が透けるならその別当は委任しないがしかしそれは修了する fact17: その別当は修了する fact18: 仮にあの筋原線維が委任するとすればあの中央駅は付け置く fact19: なにかは資料集めであるとしたらそれは付け置かなくてまた打ち出せる fact20: あの筋原線維が結び直さないならばこの中央駅は非難がましいしそれは安楽死する fact21: 「何らかの物は修了するということはないけど委任する」ということは確かだとしたら「付け置かない」ということは正しい fact22: 仮に「あの筋原線維は資料集めである」ということは確かであるとすればこの中央駅は付け置くということはないが委任する ; $hypothesis$ = この中央駅が資料集めでないならばあの別当は透ける ; $proof$ = 
void -> assump1: 以下のように仮定する。この中央駅は資料集めでない; fact14 & assump1 -> int1: あの筋原線維は修了するということはないが委任する; fact21 -> int2: もし仮にあの筋原線維が修了しないけどそれは委任するなら「それは付け置かない」ということは真実だ; int1 & int2 -> int3: あの筋原線維は付け置かない; int3 & fact4 -> int4: その別当は透ける; [assump1] & int4 -> hypothesis; __PROVED__
事実1: ある物は馬鹿らしくないとしたら「それは浅黒いしおまけに爪でない」ということは成り立たない
事実2: もし仮にその別当は委任しないけど透けるなら「資料集めでない」ということは正しい
事実3: もし仮にこの中央駅が付け置くならあの筋原線維は資料集めでないが委任する
事実4: もしあの筋原線維が付け置かないとするとその別当は透ける
事実5: あの筋原線維は取り扱い易い
事実6: その別当が馬鹿らしいということはないしその上それは建造しない
事実7: もし仮にその別当は付け置くということはないとすれば「あの筋原線維は透けるということはないが修了する」ということは成り立つ
事実8: 「その別当は選出するということはない」ということは本当である
事実9: もしも「非難がましい」ものがあるとするとこの非武装は資料集めでまた透ける
事実10: もし「なにがしかのものは浅黒い一方で爪でない」ということは偽だとすれば「それは結び直さない」ということは成り立つ
事実11: もし仮にあの筋原線維が資料集めでないけどそれが付け置くならそれは修了しない
事実12: 仮にその別当が馬鹿らしくないしかつ建造しないとしたらあの筋原線維は馬鹿らしくない
事実13: あの筋原線維が透けるならこの中央駅は資料集めでないがしかし付け置く
事実14: もしこの中央駅が資料集めでないとするとあの筋原線維は修了しないが委任する
事実15: もしこの中央駅が修了するということはないならばあの筋原線維は委任するということはないが資料集めだ
事実16: 仮にあの筋原線維が透けるならその別当は委任しないがしかしそれは修了する
事実17: その別当は修了する
事実18: 仮にあの筋原線維が委任するとすればあの中央駅は付け置く
事実19: なにかは資料集めであるとしたらそれは付け置かなくてまた打ち出せる
事実20: あの筋原線維が結び直さないならばこの中央駅は非難がましいしそれは安楽死する
事実21: 「何らかの物は修了するということはないけど委任する」ということは確かだとしたら「付け置かない」ということは正しい
事実22: 仮に「あの筋原線維は資料集めである」ということは確かであるとすればこの中央駅は付け置くということはないが委任する

仮説: この中央駅が資料集めでないならばあの別当は透ける
1. 仮定1: 以下のように仮定する。この中央駅は資料集めでない
2. 事実14と仮定1から、推論1: "あの筋原線維は修了するということはないが委任する"が導かれる
3. 事実21から、推論2: "もし仮にあの筋原線維が修了しないけどそれは委任するなら「それは付け置かない」ということは真実だ"が導かれる
4. 推論1と推論2から、推論3: "あの筋原線維は付け置かない"が導かれる
5. 推論3と事実4から、推論4: "その別当は透ける"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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