「この左壁は公然化しなくてけたたましくない」ということは間違っている
fact1: もしなにがしかのものが定期購読でないとしたら降り頻るしその上それは文化的人間だ fact2: このフェミニズム運動等は株式所有構造でないししかも女性専用でない fact3: その公司が武器以外だとすればあの植え付け後除草剤土壌処理は超音波所見である fact4: なにがしかのものが超音波所見だとするとそれは公然化する fact5: 何かは好奇でないならそれは見極め難い fact6: もしこのフェミニズム運動等が株式所有構造でなくて女性専用であるということはないとしたらあの湖面は定期購読でない fact7: その公司は超音波所見でない fact8: その一次産品は住み易くない fact9: あの植え付け後除草剤土壌処理は蹂躙するということはない fact10: もし仮にある物は住み易くないなら「この執心は好奇であるし加えて住み易い」ということは成り立たない fact11: もし仮にあの湖面が降り頻るならその稼働状態は縦断する fact12: もし「この執心は好奇でまた住み易い」ということは成り立つということはないならあのＯＰタイプは好奇でない fact13: もし仮にあのＯＰタイプが覚え難くないけれど合戦だとしたらその稼働状態は馬鹿馬鹿しい fact14: もしあの植え付け後除草剤土壌処理が武器以外でないならその公司は武器以外だ fact15: もし「あの植え付け後除草剤土壌処理は蹂躙するということはないがしかしそれは受章する」ということは成り立たないとしたら武器以外でない fact16: 仮にあの植え付け後除草剤土壌処理が武器以外でないとするとその公司は超音波所見で武器以外である fact17: もしなにがしかの物が見極め難いとすれば覚え難いということはないけれど合戦だ fact18: もしもあの植え付け後除草剤土壌処理が馬鹿馬鹿しかないならその稼働状態はけたたましくない fact19: もしなにがしかの物が縦断するしおまけに馬鹿馬鹿しいとすればその公司は武器以外だ fact20: もしもとある物が蹂躙するし受章するとしたら馬鹿馬鹿しかない fact21: もし何らかの物が蹂躙しないけれどそれが受章するなら馬鹿馬鹿しかない fact22: もしもその稼働状態がけたたましくないとすればあの左壁は公然化しないしその上けたたましくない
void -> assump1: 以下のように仮定する。「あの植え付け後除草剤土壌処理は蹂躙しないけれど受章する」ということは誤りである; fact15 & assump1 -> int1: あの植え付け後除草剤土壌処理は武器以外でない; int1 & fact16 -> int2: その公司は超音波所見であるしまた武器以外だ; int2 -> int3: その公司は超音波所見である; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの植え付け後除草剤土壌処理は蹂躙しないがしかし受章する; fact21 -> int6: もしあの植え付け後除草剤土壌処理が蹂躙しないがしかし受章すれば馬鹿馬鹿しかない; int5 & int6 -> int7: あの植え付け後除草剤土壌処理は馬鹿馬鹿しかない; int7 & fact18 -> int8: その稼働状態はけたたましくない; int8 & fact22 -> hypothesis;
「「この左壁は公然化しなくてその上けたたましくない」ということは成り立つ」ということは確かでない
fact26 -> int9: 「あの植え付け後除草剤土壌処理は超音波所見だ」ということは確かだとすればそれは公然化する; fact34 -> int10: もしもあの湖面が定期購読でないならばそれは降り頻るし加えて文化的人間だ; fact28 & fact32 -> int11: あの湖面は定期購読でない; int10 & int11 -> int12: あの湖面は降り頻るし加えて文化的人間だ; int12 -> int13: あの湖面は降り頻る; fact23 & int13 -> int14: その稼働状態は縦断する; fact33 -> int15: あのＯＰタイプが見極め難いとすれば覚え難いということはなくてそれに合戦だ; fact30 -> int16: もしあのＯＰタイプは好奇でないとしたらそれは見極め難い; fact24 -> int17: なにかは住み易くない; int17 & fact31 -> int18: 「この執心は好奇であるしそれに住み易い」ということは本当でない; fact35 & int18 -> int19: あのＯＰタイプは好奇でない; int16 & int19 -> int20: あのＯＰタイプは見極め難い; int15 & int20 -> int21: あのＯＰタイプは覚え難くないが合戦だ; fact25 & int21 -> int22: その稼働状態は馬鹿馬鹿しい; int14 & int22 -> int23: その稼働状態は縦断するしさらにそれは馬鹿馬鹿しい; int23 -> int24: 「縦断するしまた馬鹿馬鹿しい」物はある; int24 & fact29 -> int25: その公司は武器以外である; fact27 & int25 -> int26: あの植え付け後除草剤土壌処理は超音波所見である; int9 & int26 -> int27: あの植え付け後除草剤土壌処理は公然化する; int27 -> int28: 「「公然化する」ということは確かな」物はある;
$facts$ = fact1: もしなにがしかのものが定期購読でないとしたら降り頻るしその上それは文化的人間だ fact2: このフェミニズム運動等は株式所有構造でないししかも女性専用でない fact3: その公司が武器以外だとすればあの植え付け後除草剤土壌処理は超音波所見である fact4: なにがしかのものが超音波所見だとするとそれは公然化する fact5: 何かは好奇でないならそれは見極め難い fact6: もしこのフェミニズム運動等が株式所有構造でなくて女性専用であるということはないとしたらあの湖面は定期購読でない fact7: その公司は超音波所見でない fact8: その一次産品は住み易くない fact9: あの植え付け後除草剤土壌処理は蹂躙するということはない fact10: もし仮にある物は住み易くないなら「この執心は好奇であるし加えて住み易い」ということは成り立たない fact11: もし仮にあの湖面が降り頻るならその稼働状態は縦断する fact12: もし「この執心は好奇でまた住み易い」ということは成り立つということはないならあのＯＰタイプは好奇でない fact13: もし仮にあのＯＰタイプが覚え難くないけれど合戦だとしたらその稼働状態は馬鹿馬鹿しい fact14: もしあの植え付け後除草剤土壌処理が武器以外でないならその公司は武器以外だ fact15: もし「あの植え付け後除草剤土壌処理は蹂躙するということはないがしかしそれは受章する」ということは成り立たないとしたら武器以外でない fact16: 仮にあの植え付け後除草剤土壌処理が武器以外でないとするとその公司は超音波所見で武器以外である fact17: もしなにがしかの物が見極め難いとすれば覚え難いということはないけれど合戦だ fact18: もしもあの植え付け後除草剤土壌処理が馬鹿馬鹿しかないならその稼働状態はけたたましくない fact19: もしなにがしかの物が縦断するしおまけに馬鹿馬鹿しいとすればその公司は武器以外だ fact20: もしもとある物が蹂躙するし受章するとしたら馬鹿馬鹿しかない fact21: もし何らかの物が蹂躙しないけれどそれが受章するなら馬鹿馬鹿しかない fact22: もしもその稼働状態がけたたましくないとすればあの左壁は公然化しないしその上けたたましくない ; $hypothesis$ = 「この左壁は公然化しなくてけたたましくない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの植え付け後除草剤土壌処理は蹂躙しないけれど受章する」ということは誤りである; fact15 & assump1 -> int1: あの植え付け後除草剤土壌処理は武器以外でない; int1 & fact16 -> int2: その公司は超音波所見であるしまた武器以外だ; int2 -> int3: その公司は超音波所見である; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの植え付け後除草剤土壌処理は蹂躙しないがしかし受章する; fact21 -> int6: もしあの植え付け後除草剤土壌処理が蹂躙しないがしかし受章すれば馬鹿馬鹿しかない; int5 & int6 -> int7: あの植え付け後除草剤土壌処理は馬鹿馬鹿しかない; int7 & fact18 -> int8: その稼働状態はけたたましくない; int8 & fact22 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものが定期購読でないとしたら降り頻るしその上それは文化的人間だ
事実2: このフェミニズム運動等は株式所有構造でないししかも女性専用でない
事実3: その公司が武器以外だとすればあの植え付け後除草剤土壌処理は超音波所見である
事実4: なにがしかのものが超音波所見だとするとそれは公然化する
事実5: 何かは好奇でないならそれは見極め難い
事実6: もしこのフェミニズム運動等が株式所有構造でなくて女性専用であるということはないとしたらあの湖面は定期購読でない
事実7: その公司は超音波所見でない
事実8: その一次産品は住み易くない
事実9: あの植え付け後除草剤土壌処理は蹂躙するということはない
事実10: もし仮にある物は住み易くないなら「この執心は好奇であるし加えて住み易い」ということは成り立たない
事実11: もし仮にあの湖面が降り頻るならその稼働状態は縦断する
事実12: もし「この執心は好奇でまた住み易い」ということは成り立つということはないならあのＯＰタイプは好奇でない
事実13: もし仮にあのＯＰタイプが覚え難くないけれど合戦だとしたらその稼働状態は馬鹿馬鹿しい
事実14: もしあの植え付け後除草剤土壌処理が武器以外でないならその公司は武器以外だ
事実15: もし「あの植え付け後除草剤土壌処理は蹂躙するということはないがしかしそれは受章する」ということは成り立たないとしたら武器以外でない
事実16: 仮にあの植え付け後除草剤土壌処理が武器以外でないとするとその公司は超音波所見で武器以外である
事実17: もしなにがしかの物が見極め難いとすれば覚え難いということはないけれど合戦だ
事実18: もしもあの植え付け後除草剤土壌処理が馬鹿馬鹿しかないならその稼働状態はけたたましくない
事実19: もしなにがしかの物が縦断するしおまけに馬鹿馬鹿しいとすればその公司は武器以外だ
事実20: もしもとある物が蹂躙するし受章するとしたら馬鹿馬鹿しかない
事実21: もし何らかの物が蹂躙しないけれどそれが受章するなら馬鹿馬鹿しかない
事実22: もしもその稼働状態がけたたましくないとすればあの左壁は公然化しないしその上けたたましくない

仮説: 「この左壁は公然化しなくてけたたましくない」ということは間違っている
1. 仮定1: 以下のように仮定する。「あの植え付け後除草剤土壌処理は蹂躙しないけれど受章する」ということは誤りである
2. 事実15と仮定1から、推論1: "あの植え付け後除草剤土壌処理は武器以外でない"が導かれる
3. 推論1と事実16から、推論2: "その公司は超音波所見であるしまた武器以外だ"が導かれる
4. 推論2から、推論3: "その公司は超音波所見である"が導かれる
5. 推論3と事実7から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの植え付け後除草剤土壌処理は蹂躙しないがしかし受章する"が導かれる
7. 事実21から、推論6: "もしあの植え付け後除草剤土壌処理が蹂躙しないがしかし受章すれば馬鹿馬鹿しかない"が導かれる
8. 推論5と推論6から、推論7: "あの植え付け後除草剤土壌処理は馬鹿馬鹿しかない"が導かれる
9. 推論7と事実18から、推論8: "その稼働状態はけたたましくない"が導かれる
10. 推論8と事実22から、仮説が否定される

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