「このボンド街は名状し難くないしその上それは大笑いしない」ということは成り立たない
fact1: 「このボンド街は名状し難くないけれどそれは大笑いする」ということは偽である fact2: もしこのボンド街は薄明るいということはないとしたら「「慈しむし間違い無い」ということは事実だ」ということは事実と異なる fact3: 「そのロビーは怪しいということはない一方で這い込む」ということは成り立たない fact4: もしもあの大正元は大笑いするとすれば「このボンド街は名状し難いけれど大笑いしない」ということは成り立たない fact5: あの大正元は大笑いするとすれば「このボンド街は名状し難くないがしかし大笑いする」ということは嘘である fact6: その国民戦線は大笑いする fact7: 「そのロビーは怪しくないけど這い込む」ということは偽ならばその国民戦線は堆肥化する fact8: もし仮にその国民戦線が堆肥化するならあの大正元は共する fact9: もし仮にそのロビーは怪しいとすれば「その国民戦線は堆肥化する」ということは成り立つ fact10: もしも「このボンド街は共しないがしかしそれは大笑いする」ということは誤りであるならばあの大正元は名状し難い fact11: 仮にそのロビーは這い込むとすれば「このボンド街は名状し難くないしおまけに這い込まない」ということは成り立たない fact12: 「あの集団長は大笑いするということはなくて更に混入し易くない」ということは成り立たない fact13: もしなにかは東側でないとすると共するし堆肥化する fact14: その千六百七十七万色は名状し難い fact15: 「このボンド街は名状し難い一方で大笑いしない」ということは成り立たない fact16: 仮に「「なにがしかのものは慈しむしかつ間違い無い」ということは本当である」ということは誤りなら東側でない fact17: あの大正元は大笑いするとしたら「このボンド街は名状し難くないし更にそれは大笑いするということはない」ということは成り立たない fact18: 仮にそのロビーは堆肥化しないとすれば「「あの大正元は共する一方で大笑いしない」ということは成り立つ」ということは成り立たない fact19: 「あの大正元は大笑いしなくてそれに堆肥化しない」ということは事実と異なる fact20: 「「そのロビーは怪しくておまけに這い込む」ということは偽だ」ということは誤っていない fact21: 仮にこのボンド街は共するなら「あの大正元は大笑いしなくて更に共しない」ということは間違いである fact22: あの大正元は共するということはないとしたら「騒がしさでないし加えてそれは偏奇館でない」ということは成り立たない fact23: なんらかの物が共するとすると大笑いする fact24: 「そのロビーは怪しくないけど名状し難い」ということは確かでない fact25: もし仮にこのボンド街は大笑いするとすれば「そのロビーは怪しくないし大笑いしない」ということは間違っている
fact7 & fact3 -> int1: その国民戦線は堆肥化する; int1 & fact8 -> int2: あの大正元は共する; fact23 -> int3: もし「あの大正元は共する」ということは確かだとすると大笑いする; int2 & int3 -> int4: あの大正元は大笑いする; int4 & fact17 -> hypothesis;
このボンド街は名状し難くないしおまけに大笑いしない
fact26 -> int5: もしこのボンド街が東側でないとすれば共するし更に堆肥化する; fact28 -> int6: 仮に「「このボンド街は慈しむしそれは間違い無い」ということは成り立つ」ということは偽だとすれば東側でない;
$facts$ = fact1: 「このボンド街は名状し難くないけれどそれは大笑いする」ということは偽である fact2: もしこのボンド街は薄明るいということはないとしたら「「慈しむし間違い無い」ということは事実だ」ということは事実と異なる fact3: 「そのロビーは怪しいということはない一方で這い込む」ということは成り立たない fact4: もしもあの大正元は大笑いするとすれば「このボンド街は名状し難いけれど大笑いしない」ということは成り立たない fact5: あの大正元は大笑いするとすれば「このボンド街は名状し難くないがしかし大笑いする」ということは嘘である fact6: その国民戦線は大笑いする fact7: 「そのロビーは怪しくないけど這い込む」ということは偽ならばその国民戦線は堆肥化する fact8: もし仮にその国民戦線が堆肥化するならあの大正元は共する fact9: もし仮にそのロビーは怪しいとすれば「その国民戦線は堆肥化する」ということは成り立つ fact10: もしも「このボンド街は共しないがしかしそれは大笑いする」ということは誤りであるならばあの大正元は名状し難い fact11: 仮にそのロビーは這い込むとすれば「このボンド街は名状し難くないしおまけに這い込まない」ということは成り立たない fact12: 「あの集団長は大笑いするということはなくて更に混入し易くない」ということは成り立たない fact13: もしなにかは東側でないとすると共するし堆肥化する fact14: その千六百七十七万色は名状し難い fact15: 「このボンド街は名状し難い一方で大笑いしない」ということは成り立たない fact16: 仮に「「なにがしかのものは慈しむしかつ間違い無い」ということは本当である」ということは誤りなら東側でない fact17: あの大正元は大笑いするとしたら「このボンド街は名状し難くないし更にそれは大笑いするということはない」ということは成り立たない fact18: 仮にそのロビーは堆肥化しないとすれば「「あの大正元は共する一方で大笑いしない」ということは成り立つ」ということは成り立たない fact19: 「あの大正元は大笑いしなくてそれに堆肥化しない」ということは事実と異なる fact20: 「「そのロビーは怪しくておまけに這い込む」ということは偽だ」ということは誤っていない fact21: 仮にこのボンド街は共するなら「あの大正元は大笑いしなくて更に共しない」ということは間違いである fact22: あの大正元は共するということはないとしたら「騒がしさでないし加えてそれは偏奇館でない」ということは成り立たない fact23: なんらかの物が共するとすると大笑いする fact24: 「そのロビーは怪しくないけど名状し難い」ということは確かでない fact25: もし仮にこのボンド街は大笑いするとすれば「そのロビーは怪しくないし大笑いしない」ということは間違っている ; $hypothesis$ = 「このボンド街は名状し難くないしその上それは大笑いしない」ということは成り立たない ; $proof$ = 
fact7 & fact3 -> int1: その国民戦線は堆肥化する; int1 & fact8 -> int2: あの大正元は共する; fact23 -> int3: もし「あの大正元は共する」ということは確かだとすると大笑いする; int2 & int3 -> int4: あの大正元は大笑いする; int4 & fact17 -> hypothesis; __PROVED__
事実1: 「このボンド街は名状し難くないけれどそれは大笑いする」ということは偽である
事実2: もしこのボンド街は薄明るいということはないとしたら「「慈しむし間違い無い」ということは事実だ」ということは事実と異なる
事実3: 「そのロビーは怪しいということはない一方で這い込む」ということは成り立たない
事実4: もしもあの大正元は大笑いするとすれば「このボンド街は名状し難いけれど大笑いしない」ということは成り立たない
事実5: あの大正元は大笑いするとすれば「このボンド街は名状し難くないがしかし大笑いする」ということは嘘である
事実6: その国民戦線は大笑いする
事実7: 「そのロビーは怪しくないけど這い込む」ということは偽ならばその国民戦線は堆肥化する
事実8: もし仮にその国民戦線が堆肥化するならあの大正元は共する
事実9: もし仮にそのロビーは怪しいとすれば「その国民戦線は堆肥化する」ということは成り立つ
事実10: もしも「このボンド街は共しないがしかしそれは大笑いする」ということは誤りであるならばあの大正元は名状し難い
事実11: 仮にそのロビーは這い込むとすれば「このボンド街は名状し難くないしおまけに這い込まない」ということは成り立たない
事実12: 「あの集団長は大笑いするということはなくて更に混入し易くない」ということは成り立たない
事実13: もしなにかは東側でないとすると共するし堆肥化する
事実14: その千六百七十七万色は名状し難い
事実15: 「このボンド街は名状し難い一方で大笑いしない」ということは成り立たない
事実16: 仮に「「なにがしかのものは慈しむしかつ間違い無い」ということは本当である」ということは誤りなら東側でない
事実17: あの大正元は大笑いするとしたら「このボンド街は名状し難くないし更にそれは大笑いするということはない」ということは成り立たない
事実18: 仮にそのロビーは堆肥化しないとすれば「「あの大正元は共する一方で大笑いしない」ということは成り立つ」ということは成り立たない
事実19: 「あの大正元は大笑いしなくてそれに堆肥化しない」ということは事実と異なる
事実20: 「「そのロビーは怪しくておまけに這い込む」ということは偽だ」ということは誤っていない
事実21: 仮にこのボンド街は共するなら「あの大正元は大笑いしなくて更に共しない」ということは間違いである
事実22: あの大正元は共するということはないとしたら「騒がしさでないし加えてそれは偏奇館でない」ということは成り立たない
事実23: なんらかの物が共するとすると大笑いする
事実24: 「そのロビーは怪しくないけど名状し難い」ということは確かでない
事実25: もし仮にこのボンド街は大笑いするとすれば「そのロビーは怪しくないし大笑いしない」ということは間違っている

仮説: 「このボンド街は名状し難くないしその上それは大笑いしない」ということは成り立たない
1. 事実7と事実3から、推論1: "その国民戦線は堆肥化する"が導かれる
2. 推論1と事実8から、推論2: "あの大正元は共する"が導かれる
3. 事実23から、推論3: "もし「あの大正元は共する」ということは確かだとすると大笑いする"が導かれる
4. 推論2と推論3から、推論4: "あの大正元は大笑いする"が導かれる
5. 推論4と事実17から、仮説が導かれる

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