この欠けは増資後であるがしかしそれは当該会社でない
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: 「とあるものは長ったらしくないし感じ続けるということはない」ということは間違いだとしたらそれは段取り上手だ
fact25 -> int1: もしも「その四分四拍子は長ったらしくないしまた感じ続けない」ということは誤っているとするとそれは段取り上手である; void -> assump1: 以下のように仮定する。「「その四分四拍子は長ったらしくない物でありそれに感じ続けない」ということは真実だ」ということは成り立たない; int1 & assump1 -> int2: その四分四拍子は段取り上手である; fact21 -> int3: もし仮にその四分四拍子が段取り上手ならそれはテクスチャーである; int2 & int3 -> int4: その四分四拍子はテクスチャーである; fact23 -> int5: 「「夭折するし和らぐ」ということは成り立たない」物はある; int5 & fact19 -> int6: その四分四拍子はテクスチャーだということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その四分四拍子は長ったらしいということはなくて感じ続けるということはない; int8 -> int9: その四分四拍子は長ったらしくない; int9 & fact8 -> hypothesis;
「「読み熟すしかつアイビである」ということは誤っている」物はある
fact27 -> int10: 「この欠けはテクスチャーでない」ということは成り立つとしたら「それは読み熟すし更にアイビである」ということは成り立たない; fact26 -> int11: もし仮にこの民芸品店は当該会社だとすれば「増資後でないしおまけにそれは段取り上手である」ということは成り立たない;
$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: 「とあるものは長ったらしくないし感じ続けるということはない」ということは間違いだとしたらそれは段取り上手だ ; $hypothesis$ = この欠けは増資後であるがしかしそれは当該会社でない ; $proof$ = 
fact25 -> int1: もしも「その四分四拍子は長ったらしくないしまた感じ続けない」ということは誤っているとするとそれは段取り上手である; void -> assump1: 以下のように仮定する。「「その四分四拍子は長ったらしくない物でありそれに感じ続けない」ということは真実だ」ということは成り立たない; int1 & assump1 -> int2: その四分四拍子は段取り上手である; fact21 -> int3: もし仮にその四分四拍子が段取り上手ならそれはテクスチャーである; int2 & int3 -> int4: その四分四拍子はテクスチャーである; fact23 -> int5: 「「夭折するし和らぐ」ということは成り立たない」物はある; int5 & fact19 -> int6: その四分四拍子はテクスチャーだということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その四分四拍子は長ったらしいということはなくて感じ続けるということはない; int8 -> int9: その四分四拍子は長ったらしくない; int9 & fact8 -> 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: 「とあるものは長ったらしくないし感じ続けるということはない」ということは間違いだとしたらそれは段取り上手だ

仮説: この欠けは増資後であるがしかしそれは当該会社でない
1. 事実25から、推論1: "もしも「その四分四拍子は長ったらしくないしまた感じ続けない」ということは誤っているとするとそれは段取り上手である"が導かれる
2. 仮定1: 以下のように仮定する。「「その四分四拍子は長ったらしくない物でありそれに感じ続けない」ということは真実だ」ということは成り立たない
3. 推論1と仮定1から、推論2: "その四分四拍子は段取り上手である"が導かれる
4. 事実21から、推論3: "もし仮にその四分四拍子が段取り上手ならそれはテクスチャーである"が導かれる
5. 推論2と推論3から、推論4: "その四分四拍子はテクスチャーである"が導かれる
6. 事実23から、推論5: "「「夭折するし和らぐ」ということは成り立たない」物はある"が導かれる
7. 推論5と事実19から、推論6: "その四分四拍子はテクスチャーだということはない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その四分四拍子は長ったらしいということはなくて感じ続けるということはない"が導かれる
10. 推論8から、推論9: "その四分四拍子は長ったらしくない"が導かれる
11. 推論9と事実8から、仮説が否定される

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