そのＮＢＬは実行し易くない
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: もしもこの馴化が実行し易いということはなくて更に祈がないとすればあのＮＢＬは実行し易い fact28: もしも地域毎が仕方無くないとすると慎み深くない fact29: この馴化は募らない
fact10 & fact1 -> int1: 「この馴化は慎み深い」ということは正しい; fact25 -> int2: もし仮にこの馴化は慎み深いとすると「それは地域毎である」ということは事実だ; int1 & int2 -> int3: この馴化は地域毎である; int3 & fact3 -> int4: 「「あのテールランプは地域毎だということはないが仕方無い」ということは成り立つ」ということは嘘である; int4 & fact9 -> int5: このシャワーは募るということはない; fact7 -> int6: もしこのシャワーが募らないとすればそれは甘辛くないしそれは独占しない; int5 & int6 -> int7: このシャワーは甘辛くないし独占しない; int7 & fact14 -> int8: このＱ社は北棟である; int8 & fact15 -> int9: そのＮＢＬは頼み難い; fact26 -> int10: そのＮＢＬが頼み難いならば実行し易くない; int9 & int10 -> hypothesis;
そのＮＢＬは実行し易い
fact33 -> int11: もしもこの馴化が地域毎であるけれど仕方無くないとしたらそれは慎み深いということはない; fact30 -> int12: 「このＱ社は頼み難い」ということは成り立たないとすると独占するかそれは北棟であるということはないかあるいは両方ともだ;
$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: もしもこの馴化が実行し易いということはなくて更に祈がないとすればあのＮＢＬは実行し易い fact28: もしも地域毎が仕方無くないとすると慎み深くない fact29: この馴化は募らない ; $hypothesis$ = そのＮＢＬは実行し易くない ; $proof$ = 
fact10 & fact1 -> int1: 「この馴化は慎み深い」ということは正しい; fact25 -> int2: もし仮にこの馴化は慎み深いとすると「それは地域毎である」ということは事実だ; int1 & int2 -> int3: この馴化は地域毎である; int3 & fact3 -> int4: 「「あのテールランプは地域毎だということはないが仕方無い」ということは成り立つ」ということは嘘である; int4 & fact9 -> int5: このシャワーは募るということはない; fact7 -> int6: もしこのシャワーが募らないとすればそれは甘辛くないしそれは独占しない; int5 & int6 -> int7: このシャワーは甘辛くないし独占しない; int7 & fact14 -> int8: このＱ社は北棟である; int8 & fact15 -> int9: そのＮＢＬは頼み難い; fact26 -> int10: そのＮＢＬが頼み難いならば実行し易くない; int9 & int10 -> 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: もしもこの馴化が実行し易いということはなくて更に祈がないとすればあのＮＢＬは実行し易い
事実28: もしも地域毎が仕方無くないとすると慎み深くない
事実29: この馴化は募らない

仮説: そのＮＢＬは実行し易くない
1. 事実10と事実1から、推論1: "「この馴化は慎み深い」ということは正しい"が導かれる
2. 事実25から、推論2: "もし仮にこの馴化は慎み深いとすると「それは地域毎である」ということは事実だ"が導かれる
3. 推論1と推論2から、推論3: "この馴化は地域毎である"が導かれる
4. 推論3と事実3から、推論4: "「「あのテールランプは地域毎だということはないが仕方無い」ということは成り立つ」ということは嘘である"が導かれる
5. 推論4と事実9から、推論5: "このシャワーは募るということはない"が導かれる
6. 事実7から、推論6: "もしこのシャワーが募らないとすればそれは甘辛くないしそれは独占しない"が導かれる
7. 推論5と推論6から、推論7: "このシャワーは甘辛くないし独占しない"が導かれる
8. 推論7と事実14から、推論8: "このＱ社は北棟である"が導かれる
9. 推論8と事実15から、推論9: "そのＮＢＬは頼み難い"が導かれる
10. 事実26から、推論10: "そのＮＢＬが頼み難いならば実行し易くない"が導かれる
11. 推論9と推論10から、仮説が導かれる

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