「その既存住宅は初々しいけど予測し易いということはない」ということは事実と異なる
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: この悪名は太占い署でないかもしくは御子孫であるかあるいは両方ともである
fact19 & fact5 -> int1: その道具的条件付けは塗り易くないかそれは儚しないかあるいは両方だ; int1 & fact17 -> int2: このリーダーシップはＣＲだ; int2 & fact21 -> int3: そのＮカントリーは竦み上がる; int3 & fact13 -> int4: その既存住宅は初々しい; fact8 & fact27 -> int5: この悪名は実現し易くない; int5 -> int6: 「実現し易くない」ものはある; int6 & fact25 -> int7: 「その既存住宅はばらつくがでっかくない」ということは誤りだ; fact18 -> int8: 「「その既存住宅はばらつくけどでっかくない」ということは事実と異なる」ということは成り立つとしたら「予測し易くない」ということは正しい; int7 & int8 -> int9: その既存住宅は予測し易いということはない; int4 & int9 -> hypothesis;
「その既存住宅は初々しいが予測し易いということはない」ということは間違っている
fact28 -> int10: 仮に「その既存住宅は便塊である」ということは成り立てば「初々しい一方で予測し易くない」ということは成り立たない;
$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$ = 
fact19 & fact5 -> int1: その道具的条件付けは塗り易くないかそれは儚しないかあるいは両方だ; int1 & fact17 -> int2: このリーダーシップはＣＲだ; int2 & fact21 -> int3: そのＮカントリーは竦み上がる; int3 & fact13 -> int4: その既存住宅は初々しい; fact8 & fact27 -> int5: この悪名は実現し易くない; int5 -> int6: 「実現し易くない」ものはある; int6 & fact25 -> int7: 「その既存住宅はばらつくがでっかくない」ということは誤りだ; fact18 -> int8: 「「その既存住宅はばらつくけどでっかくない」ということは事実と異なる」ということは成り立つとしたら「予測し易くない」ということは正しい; int7 & int8 -> int9: その既存住宅は予測し易いということはない; int4 & int9 -> hypothesis; __DISPROVED__
事実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. 事実19と事実5から、推論1: "その道具的条件付けは塗り易くないかそれは儚しないかあるいは両方だ"が導かれる
2. 推論1と事実17から、推論2: "このリーダーシップはＣＲだ"が導かれる
3. 推論2と事実21から、推論3: "そのＮカントリーは竦み上がる"が導かれる
4. 推論3と事実13から、推論4: "その既存住宅は初々しい"が導かれる
5. 事実8と事実27から、推論5: "この悪名は実現し易くない"が導かれる
6. 推論5から、推論6: "「実現し易くない」ものはある"が導かれる
7. 推論6と事実25から、推論7: "「その既存住宅はばらつくがでっかくない」ということは誤りだ"が導かれる
8. 事実18から、推論8: "「「その既存住宅はばらつくけどでっかくない」ということは事実と異なる」ということは成り立つとしたら「予測し易くない」ということは正しい"が導かれる
9. 推論7と推論8から、推論9: "その既存住宅は予測し易いということはない"が導かれる
10. 推論4と推論9から、仮説が否定される

よって、仮説が否定されました。