その料理番はぼろくてさらにデビューする
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: もしこのインストールＣＤは塵劫記でないなら「それが凧糸だしそれにバディである」ということは成り立たない fact26: このインストールＣＤは対応し易い fact27: この測位点は凧糸だということはない
void -> assump1: 以下のように仮定する。このインストールＣＤは突き崩せるけどそれは出難くない; fact11 & assump1 -> int1: このインストールＣＤは塵劫記でない; fact7 & fact15 -> int2: このインストールＣＤは塵劫記だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このインストールＣＤは突き崩せるがしかし出難くない」ということは成り立たない; int4 & fact19 -> int5: その料理番はぼろい; fact10 -> int6: 「もし仮に「この測位点は凧糸である」ということは成り立たないなら「この測位点は小難しくないけどデビューする」ということは事実と異なる」ということは成り立つ; int6 & fact27 -> int7: 「この測位点は小難しくないがしかしデビューする」ということは誤りである; fact14 & int7 -> int8: その料理番はデビューする; int5 & int8 -> hypothesis;
「その料理番はぼろいしそれはデビューする」ということは誤っている
$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: もしこのインストールＣＤは塵劫記でないなら「それが凧糸だしそれにバディである」ということは成り立たない fact26: このインストールＣＤは対応し易い fact27: この測位点は凧糸だということはない ; $hypothesis$ = その料理番はぼろくてさらにデビューする ; $proof$ = 
void -> assump1: 以下のように仮定する。このインストールＣＤは突き崩せるけどそれは出難くない; fact11 & assump1 -> int1: このインストールＣＤは塵劫記でない; fact7 & fact15 -> int2: このインストールＣＤは塵劫記だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このインストールＣＤは突き崩せるがしかし出難くない」ということは成り立たない; int4 & fact19 -> int5: その料理番はぼろい; fact10 -> int6: 「もし仮に「この測位点は凧糸である」ということは成り立たないなら「この測位点は小難しくないけどデビューする」ということは事実と異なる」ということは成り立つ; int6 & fact27 -> int7: 「この測位点は小難しくないがしかしデビューする」ということは誤りである; fact14 & int7 -> int8: その料理番はデビューする; int5 & int8 -> 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: もしこのインストールＣＤは塵劫記でないなら「それが凧糸だしそれにバディである」ということは成り立たない
事実26: このインストールＣＤは対応し易い
事実27: この測位点は凧糸だということはない

仮説: その料理番はぼろくてさらにデビューする
1. 仮定1: 以下のように仮定する。このインストールＣＤは突き崩せるけどそれは出難くない
2. 事実11と仮定1から、推論1: "このインストールＣＤは塵劫記でない"が導かれる
3. 事実7と事実15から、推論2: "このインストールＣＤは塵劫記だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このインストールＣＤは突き崩せるがしかし出難くない」ということは成り立たない"が導かれる
6. 推論4と事実19から、推論5: "その料理番はぼろい"が導かれる
7. 事実10から、推論6: "「もし仮に「この測位点は凧糸である」ということは成り立たないなら「この測位点は小難しくないけどデビューする」ということは事実と異なる」ということは成り立つ"が導かれる
8. 推論6と事実27から、推論7: "「この測位点は小難しくないがしかしデビューする」ということは誤りである"が導かれる
9. 事実14と推論7から、推論8: "その料理番はデビューする"が導かれる
10. 推論5と推論8から、仮説が導かれる

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