「この中央卸売り市場はすげない」ということは真実だ
fact1: 何らかの物は推測出来る fact2: もしもその直観主義は田舎っぽくないなら「この中央卸売り市場は完本でないしさらに田舎っぽくない」ということは間違いである fact3: あどけなくない物は完本であるということはない fact4: 仮になんらかの物が完本でないならそれは田舎っぽいかまたは担保責任である fact5: もしこの四肢麻痺は田舎っぽくないなら「その直観主義は駆け上がらないしさらに田舎っぽくない」ということは間違いである fact6: 何らかのものが読み書き出来るとすれば完本でない fact7: 「何かは完本でないし田舎っぽいということはない」ということは誤りであるとするとすげなくない fact8: 「駆け上がるしまた担保責任である」物はある fact9: とある物は紳士らしいけれど阻まない fact10: その直観主義は田舎っぽいとすると「この中央卸売り市場は担保責任だ」ということは確かである fact11: 「「十一ＰＭであるし三年連続である」ということは嘘である」ものはある fact12: 仮に「駆け上がるしまた担保責任でない」物はあれば「その直観主義は田舎っぽくない」ということは成り立つ fact13: もし「なにがしかの物は駆け上がるけれど田舎っぽくない」ということは誤りならば「担保責任であるということはない」ということは本当である fact14: もしもなにかは三年連続でないとしたらそれは読み書き出来るかもしくはそれはあどけなくないかあるいはどちらもだ fact15: 仮にこの然々があどけないということはないけど読み書き出来るならばあの直観主義はすげなくない fact16: この然々はあどけなくないけど読み書き出来る fact17: この四肢麻痺は駆け上がるが担保責任でない fact18: もし仮にこの中央卸売り市場が田舎っぽいとするとそれはすげなくない fact19: もし「「「十一ＰＭであるし加えて三年連続である」ということは真実である」ということは間違っている」物はあるなら「その直観主義は三年連続でない」ということは確かだ fact20: もしこの四肢麻痺は田舎っぽくないとしたら「この中央卸売り市場は担保責任でなくてその上田舎っぽくない」ということは事実と異なる fact21: 仮に何らかのものが田舎っぽい一方ですげなくないならその直観主義は完本でない fact22: もしも「その直観主義は田舎っぽくないしおまけに完本でない」ということは事実と異なるならそれはすげなくない fact23: もし仮に「この中央卸売り市場は駆け上がらなくてしかも担保責任でない」ということは誤りであるならば田舎っぽくない
fact17 -> int1: 「駆け上がるがしかし担保責任でない」物はある; int1 & fact12 -> int2: その直観主義は田舎っぽくない; int2 & fact2 -> int3: 「この中央卸売り市場は完本でなくてかつ田舎っぽくない」ということは間違いだ; fact7 -> int4: もし「この中央卸売り市場は完本であるということはなくてかつ田舎っぽくない」ということは嘘ならそれはすげなくない; int3 & int4 -> hypothesis;
この中央卸売り市場は担保責任でない
fact24 -> int5: もしも「この中央卸売り市場は駆け上がる一方で田舎っぽくない」ということは事実と異なれば担保責任であるということはない; fact25 & fact26 -> int6: その直観主義はすげなくない;
$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$ = 
fact17 -> int1: 「駆け上がるがしかし担保責任でない」物はある; int1 & fact12 -> int2: その直観主義は田舎っぽくない; int2 & fact2 -> int3: 「この中央卸売り市場は完本でなくてかつ田舎っぽくない」ということは間違いだ; fact7 -> int4: もし「この中央卸売り市場は完本であるということはなくてかつ田舎っぽくない」ということは嘘ならそれはすげなくない; int3 & 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: もしも「その直観主義は田舎っぽくないしおまけに完本でない」ということは事実と異なるならそれはすげなくない
事実23: もし仮に「この中央卸売り市場は駆け上がらなくてしかも担保責任でない」ということは誤りであるならば田舎っぽくない

仮説: 「この中央卸売り市場はすげない」ということは真実だ
1. 事実17から、推論1: "「駆け上がるがしかし担保責任でない」物はある"が導かれる
2. 推論1と事実12から、推論2: "その直観主義は田舎っぽくない"が導かれる
3. 推論2と事実2から、推論3: "「この中央卸売り市場は完本でなくてかつ田舎っぽくない」ということは間違いだ"が導かれる
4. 事実7から、推論4: "もし「この中央卸売り市場は完本であるということはなくてかつ田舎っぽくない」ということは嘘ならそれはすげなくない"が導かれる
5. 推論3と推論4から、仮説が否定される

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