「あの弁理は解け易いしそれに寄り集まる」ということは成り立たない
fact1: 「エクスポートし為さる」ものはある fact2: もし仮にあのＵＤＰは嵯峨本であるとすればそれは解け易い fact3: もし「なんらかの物はリーディング産業でなくてまた入り易くない」ということは成り立たないとしたら「それは寄り集まる」ということは真実だ fact4: 「あの弁理は嵯峨本でないけれど解け易い」ということは真実でない fact5: もしあのＵＤＰがむくつけしないし嵯峨本でないとしたらあの弁理は艶っぽい fact6: あのＵＤＰは解け易くない fact7: 何かはエクスポートし為されば「あの弁理はリーディング産業でないし加えて入り易くない」ということは誤りである fact8: あのＵＤＰは入り易くてかつそれは他愛無い fact9: この各類型は寄り集まる fact10: あのＵＤＰは寄り集まる fact11: あのＵＤＰはむくつけしないしおまけにそれは嵯峨本でない fact12: 艶っぽいものは解け易い fact13: この読点は情け深い fact14: もし仮に嵯峨本はあるとすると「あの弁理はむくつけしない一方でそれはリーディング産業だ」ということは間違っている fact15: 「あの弁理はリーディング産業でないけど入り易い」ということは正しくない fact16: もしあの弁理が入り易いとするとそれは寄り集まる fact17: 何らかのものはエクスポートし為さるなら「あの弁理はリーディング産業でないけど入り易い」ということは間違っている fact18: 「この読点は寄り集まらない」ということは真実だ
fact5 & fact11 -> int1: あの弁理は艶っぽい; fact12 -> int2: もし仮に「あの弁理は艶っぽい」ということは正しいとしたらそれは解け易い; int1 & int2 -> int3: あの弁理は解け易い; fact3 -> int4: 「あの弁理はリーディング産業でないしそれに入り易くない」ということは事実でないなら寄り集まる; fact1 & fact7 -> int5: 「あの弁理はリーディング産業でなくてその上入り易いない」ということは嘘だ; int4 & int5 -> int6: 「あの弁理は寄り集まる」ということは成り立つ; int3 & int6 -> hypothesis;
$facts$ = fact1: 「エクスポートし為さる」ものはある fact2: もし仮にあのＵＤＰは嵯峨本であるとすればそれは解け易い fact3: もし「なんらかの物はリーディング産業でなくてまた入り易くない」ということは成り立たないとしたら「それは寄り集まる」ということは真実だ fact4: 「あの弁理は嵯峨本でないけれど解け易い」ということは真実でない fact5: もしあのＵＤＰがむくつけしないし嵯峨本でないとしたらあの弁理は艶っぽい fact6: あのＵＤＰは解け易くない fact7: 何かはエクスポートし為されば「あの弁理はリーディング産業でないし加えて入り易くない」ということは誤りである fact8: あのＵＤＰは入り易くてかつそれは他愛無い fact9: この各類型は寄り集まる fact10: あのＵＤＰは寄り集まる fact11: あのＵＤＰはむくつけしないしおまけにそれは嵯峨本でない fact12: 艶っぽいものは解け易い fact13: この読点は情け深い fact14: もし仮に嵯峨本はあるとすると「あの弁理はむくつけしない一方でそれはリーディング産業だ」ということは間違っている fact15: 「あの弁理はリーディング産業でないけど入り易い」ということは正しくない fact16: もしあの弁理が入り易いとするとそれは寄り集まる fact17: 何らかのものはエクスポートし為さるなら「あの弁理はリーディング産業でないけど入り易い」ということは間違っている fact18: 「この読点は寄り集まらない」ということは真実だ ; $hypothesis$ = 「あの弁理は解け易いしそれに寄り集まる」ということは成り立たない ; $proof$ = 
fact5 & fact11 -> int1: あの弁理は艶っぽい; fact12 -> int2: もし仮に「あの弁理は艶っぽい」ということは正しいとしたらそれは解け易い; int1 & int2 -> int3: あの弁理は解け易い; fact3 -> int4: 「あの弁理はリーディング産業でないしそれに入り易くない」ということは事実でないなら寄り集まる; fact1 & fact7 -> int5: 「あの弁理はリーディング産業でなくてその上入り易いない」ということは嘘だ; int4 & int5 -> int6: 「あの弁理は寄り集まる」ということは成り立つ; int3 & int6 -> hypothesis; __DISPROVED__
事実1: 「エクスポートし為さる」ものはある
事実2: もし仮にあのＵＤＰは嵯峨本であるとすればそれは解け易い
事実3: もし「なんらかの物はリーディング産業でなくてまた入り易くない」ということは成り立たないとしたら「それは寄り集まる」ということは真実だ
事実4: 「あの弁理は嵯峨本でないけれど解け易い」ということは真実でない
事実5: もしあのＵＤＰがむくつけしないし嵯峨本でないとしたらあの弁理は艶っぽい
事実6: あのＵＤＰは解け易くない
事実7: 何かはエクスポートし為されば「あの弁理はリーディング産業でないし加えて入り易くない」ということは誤りである
事実8: あのＵＤＰは入り易くてかつそれは他愛無い
事実9: この各類型は寄り集まる
事実10: あのＵＤＰは寄り集まる
事実11: あのＵＤＰはむくつけしないしおまけにそれは嵯峨本でない
事実12: 艶っぽいものは解け易い
事実13: この読点は情け深い
事実14: もし仮に嵯峨本はあるとすると「あの弁理はむくつけしない一方でそれはリーディング産業だ」ということは間違っている
事実15: 「あの弁理はリーディング産業でないけど入り易い」ということは正しくない
事実16: もしあの弁理が入り易いとするとそれは寄り集まる
事実17: 何らかのものはエクスポートし為さるなら「あの弁理はリーディング産業でないけど入り易い」ということは間違っている
事実18: 「この読点は寄り集まらない」ということは真実だ

仮説: 「あの弁理は解け易いしそれに寄り集まる」ということは成り立たない
1. 事実5と事実11から、推論1: "あの弁理は艶っぽい"が導かれる
2. 事実12から、推論2: "もし仮に「あの弁理は艶っぽい」ということは正しいとしたらそれは解け易い"が導かれる
3. 推論1と推論2から、推論3: "あの弁理は解け易い"が導かれる
4. 事実3から、推論4: "「あの弁理はリーディング産業でないしそれに入り易くない」ということは事実でないなら寄り集まる"が導かれる
5. 事実1と事実7から、推論5: "「あの弁理はリーディング産業でなくてその上入り易いない」ということは嘘だ"が導かれる
6. 推論4と推論5から、推論6: "「あの弁理は寄り集まる」ということは成り立つ"が導かれる
7. 推論3と推論6から、仮説が否定される

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