「その奥壁は商品交換でしかもせっかち過ぎる」ということは偽だ
fact1: あのキッズカートは転進だ fact2: もし仮にその多人数が過ごし易いとしたらその奥壁は商品交換である fact3: もしもその奥壁は焼けないならば「せっかち過ぎる」ということは正しい fact4: 粘っこいということはない物はめんどくないかカットするということはないか両方だ fact5: もしその多人数は暮らし易くないとしたら「あのキッズカートは商品交換であるけれど田舎っぽいない」ということは成り立たない fact6: もし「ある物は外鉄形でかつ粘っこい」ということは間違っているなら粘っこくない fact7: もし仮にあの中国語学が暮らし易くないが過ごし易いならその多人数は暮らし易くない fact8: 仮に「何らかの物は商品交換であるけどそれは田舎っぽくない」ということは成り立たないとすればそれは商品交換でない fact9: 転進が生臭くないならそれは暮らし易い fact10: その奥壁は焼けない fact11: あの物見遊山が焼けるしその上事情聴取する fact12: もし仮に「あの物見遊山は転進だがしかし生臭いということはない」ということは間違っているとするとあのキッズカートは田舎っぽい fact13: もし仮に「この腰つきは払い出さない」ということは正しいなら「この出力時は外鉄形であるし粘っこい」ということは本当であるということはない fact14: この腰つきは払い出さない fact15: その意見一致が焼けないならばあの中国語学は暮らし易くない一方で過ごし易い fact16: もし生臭い物が田舎っぽいならそれは過ごし易い fact17: あの誤認がしいんとしないとしたらこの体験過程は職務であるかまたは焼けるか両方である fact18: その印刷順序は焼けない fact19: この体験過程が職務であるとしたらその意見一致は焼けない fact20: あのキッズカートが田舎っぽいとすればその多人数は過ごし易い fact21: その多人数が商品交換であるならその奥壁は過ごし易い fact22: あの物見遊山は暮らし易くない fact23: もし仮になにがしかの物がめんどくないかまたはそれがカットしないかあるいは両方ならばあの誤認はしいんとしない
fact9 -> int1: もしあの物見遊山が転進だけれど生臭くないなら「それは暮らし易い」ということは真実である; void -> assump1: 以下のように仮定する。あの物見遊山は転進だがそれは生臭くない; int1 & assump1 -> int2: あの物見遊山は暮らし易い; int2 & fact22 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの物見遊山は転進である一方でそれは生臭くない」ということは成り立たない; int4 & fact12 -> int5: あのキッズカートは田舎っぽい; int5 & fact20 -> int6: その多人数は過ごし易い; int6 & fact2 -> int7: その奥壁は商品交換である; fact3 & fact10 -> int8: その奥壁はせっかち過ぎる; int7 & int8 -> hypothesis;
「その奥壁は商品交換で加えてせっかち過ぎる」ということは成り立たない
fact24 -> int9: もし「あのキッズカートは商品交換であるけれど田舎っぽくない」ということは成り立たないとしたら商品交換でない; fact28 -> int10: もしもこの出力時が粘っこいということはないとするとめんどくないかあるいはカットしないかあるいは両方ともだ; fact26 -> int11: 「もし「この出力時は外鉄形だしさらに粘っこい」ということは成り立つということはないとするとこの出力時は粘っこくない」ということは成り立つ; fact34 & fact33 -> int12: 「この出力時は外鉄形だし粘っこい」ということは偽だ; int11 & int12 -> int13: この出力時は粘っこくない; int10 & int13 -> int14: この出力時はめんどいということはないかまたはそれはカットしないかあるいは両方である; int14 -> int15: 「めんどくないかあるいはカットしない」物はある; int15 & fact32 -> int16: あの誤認はしいんとしない; fact25 & int16 -> int17: この体験過程は職務であるかあるいは焼ける;
$facts$ = fact1: あのキッズカートは転進だ fact2: もし仮にその多人数が過ごし易いとしたらその奥壁は商品交換である fact3: もしもその奥壁は焼けないならば「せっかち過ぎる」ということは正しい fact4: 粘っこいということはない物はめんどくないかカットするということはないか両方だ fact5: もしその多人数は暮らし易くないとしたら「あのキッズカートは商品交換であるけれど田舎っぽいない」ということは成り立たない fact6: もし「ある物は外鉄形でかつ粘っこい」ということは間違っているなら粘っこくない fact7: もし仮にあの中国語学が暮らし易くないが過ごし易いならその多人数は暮らし易くない fact8: 仮に「何らかの物は商品交換であるけどそれは田舎っぽくない」ということは成り立たないとすればそれは商品交換でない fact9: 転進が生臭くないならそれは暮らし易い fact10: その奥壁は焼けない fact11: あの物見遊山が焼けるしその上事情聴取する fact12: もし仮に「あの物見遊山は転進だがしかし生臭いということはない」ということは間違っているとするとあのキッズカートは田舎っぽい fact13: もし仮に「この腰つきは払い出さない」ということは正しいなら「この出力時は外鉄形であるし粘っこい」ということは本当であるということはない fact14: この腰つきは払い出さない fact15: その意見一致が焼けないならばあの中国語学は暮らし易くない一方で過ごし易い fact16: もし生臭い物が田舎っぽいならそれは過ごし易い fact17: あの誤認がしいんとしないとしたらこの体験過程は職務であるかまたは焼けるか両方である fact18: その印刷順序は焼けない fact19: この体験過程が職務であるとしたらその意見一致は焼けない fact20: あのキッズカートが田舎っぽいとすればその多人数は過ごし易い fact21: その多人数が商品交換であるならその奥壁は過ごし易い fact22: あの物見遊山は暮らし易くない fact23: もし仮になにがしかの物がめんどくないかまたはそれがカットしないかあるいは両方ならばあの誤認はしいんとしない ; $hypothesis$ = 「その奥壁は商品交換でしかもせっかち過ぎる」ということは偽だ ; $proof$ = 
fact9 -> int1: もしあの物見遊山が転進だけれど生臭くないなら「それは暮らし易い」ということは真実である; void -> assump1: 以下のように仮定する。あの物見遊山は転進だがそれは生臭くない; int1 & assump1 -> int2: あの物見遊山は暮らし易い; int2 & fact22 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの物見遊山は転進である一方でそれは生臭くない」ということは成り立たない; int4 & fact12 -> int5: あのキッズカートは田舎っぽい; int5 & fact20 -> int6: その多人数は過ごし易い; int6 & fact2 -> int7: その奥壁は商品交換である; fact3 & fact10 -> int8: その奥壁はせっかち過ぎる; int7 & int8 -> 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: もし仮になにがしかの物がめんどくないかまたはそれがカットしないかあるいは両方ならばあの誤認はしいんとしない

仮説: 「その奥壁は商品交換でしかもせっかち過ぎる」ということは偽だ
1. 事実9から、推論1: "もしあの物見遊山が転進だけれど生臭くないなら「それは暮らし易い」ということは真実である"が導かれる
2. 仮定1: 以下のように仮定する。あの物見遊山は転進だがそれは生臭くない
3. 推論1と仮定1から、推論2: "あの物見遊山は暮らし易い"が導かれる
4. 推論2と事実22から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの物見遊山は転進である一方でそれは生臭くない」ということは成り立たない"が導かれる
6. 推論4と事実12から、推論5: "あのキッズカートは田舎っぽい"が導かれる
7. 推論5と事実20から、推論6: "その多人数は過ごし易い"が導かれる
8. 推論6と事実2から、推論7: "その奥壁は商品交換である"が導かれる
9. 事実3と事実10から、推論8: "その奥壁はせっかち過ぎる"が導かれる
10. 推論7と推論8から、仮説が否定される

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