「あの市民投票はごついかあるいは汲み上げるかあるいはどちらもである」ということは成り立たない
fact1: もし「何らかのものは聞き成れるがしかし当たり易くない」ということは事実と異なるとすると鉄鍋だ fact2: その一回量は付け難い fact3: あの核心部分は面目無くない fact4: あの核心部分は基準財政需要額でない fact5: 「その一回量は聞き成れる一方で当たり易くない」ということは成り立たない fact6: その小学校教則綱領は面目無い fact7: もしあの市民投票が汲み上げないとすればあの内頸静脈は面目無くない fact8: 仮にあの内頸静脈が費用項目だがしかし面目無くないとしたらあの核心部分は基準財政需要額だ fact9: 「何らかのものは基準財政需要額であるしまた目敏い」ということは真実であるということはないとすれば基準財政需要額でない fact10: もし鉄鍋が欲深くないとしたらそれは比較出来る fact11: 仮に「あの内頸静脈は排除出来ない」ということは真実だとしたら「あの市民投票は基準財政需要額であるし更に目敏い」ということは成り立たない fact12: もしなにがしかの物が窶さないならば海外基地であるかもしくはＮＳＯだ fact13: もし仮にその一回量が比較出来るとするとあの紙肌は騒々しい fact14: もしもとある物は基準財政需要額であるということはないとしたら「それはごついかまたはそれは汲み上げるかもしくは両方ともである」ということは事実と異なる fact15: あの内頸静脈は面目無くない fact16: もしもあの核心部分が海外基地だとしたらあの内頸静脈は排除出来ない fact17: もしもあの市民投票が汲み上げるということはないならあの内頸静脈は費用項目だがしかし面目無くない fact18: 付け難い物はネゴシアンであるが買い占めない fact19: もしネゴシアンは買い占めるということはないとすれば「欲深くない」ということは本当である fact20: この縦割り行政はごつかない fact21: あの紙肌が騒々しいならばあの核心部分は窶さない fact22: 「あの内頸静脈が費用項目だしそれに面目無いとすればあの核心部分は基準財政需要額である」ということは偽でない
void -> assump1: 以下のように仮定する。「あの市民投票は汲み上げない」ということは確かである; fact17 & assump1 -> int1: あの内頸静脈は費用項目だ一方で面目無くない; int1 & fact8 -> int2: あの核心部分は基準財政需要額である; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの市民投票は汲み上げる; int4 -> hypothesis;
「あの市民投票はごついかそれは汲み上げる」ということは成り立たない
fact25 -> int5: もし「あの市民投票は基準財政需要額でない」ということは誤りでないならば「それはごついかあるいは汲み上げるかもしくは両方である」ということは成り立たない; fact23 -> int6: 「あの市民投票は基準財政需要額であるしかつ目敏い」ということは成り立たないなら基準財政需要額でない; fact33 -> int7: 仮にあの核心部分が窶さないとしたらそれは海外基地であるかまたはＮＳＯであるかあるいは両方である; fact31 -> int8: その一回量は鉄鍋だけれど欲深いということはないとするとそれは比較出来る; fact26 -> int9: もし仮に「「その一回量は聞き成れる一方でそれは当たり易くない」ということは成り立たない」ということは確かであるならば鉄鍋だ; int9 & fact35 -> int10: その一回量は鉄鍋である; fact24 -> int11: もしもその一回量はネゴシアンである一方で買い占めないならば欲深くない; fact27 -> int12: その一回量が付け難いとすればネゴシアンであるがしかし買い占めない; int12 & fact32 -> int13: その一回量はネゴシアンである一方で買い占めない; int11 & int13 -> int14: その一回量は欲深くない; int10 & int14 -> int15: その一回量は鉄鍋だがそれは欲深くない; int8 & int15 -> int16: その一回量は比較出来る; fact34 & int16 -> int17: 「あの紙肌は騒々しくない」ということは誤りだ; fact28 & int17 -> int18: あの核心部分は窶すということはない; int7 & int18 -> int19: あの核心部分は海外基地であるかあるいはＮＳＯであるかあるいはどちらもだ;
$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: 以下のように仮定する。「あの市民投票は汲み上げない」ということは確かである; fact17 & assump1 -> int1: あの内頸静脈は費用項目だ一方で面目無くない; int1 & fact8 -> int2: あの核心部分は基準財政需要額である; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの市民投票は汲み上げる; int4 -> 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. 事実17と仮定1から、推論1: "あの内頸静脈は費用項目だ一方で面目無くない"が導かれる
3. 推論1と事実8から、推論2: "あの核心部分は基準財政需要額である"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの市民投票は汲み上げる"が導かれる
6. 推論4から、仮説が否定される

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