あの国民形成は潔くない
fact1: もしあの国内債券投資が口煩くないとするとその山岳区間は管理し易いかまたは金蔓であるかあるいは両方ともだ fact2: もしもその山岳区間は年期であるとしたらそれは長ーい fact3: あの国内債券投資は口煩くない fact4: その山岳区間は垣間見せらない fact5: もし仮になにかは現われ難くないとすると「潔いしその上それは長ーくない」ということは嘘だ fact6: もしもその山岳区間が長ーいとすると現われ難い fact7: もし「あの国民形成は潔いがしかしそれは長ーいということはない」ということは間違いであるとするとあの自由貿易地域は長ーいということはない fact8: もしあの国民形成が潔くないならばあの山岳区間は年期であるけど垣間見せらない fact9: もし仮にある物は金蔓であるとするとそれは経営単位である fact10: もし仮にあの国民形成が潔くないとしたらその山岳区間は垣間見せらない fact11: 何らかのものは十倍するかまたはピースワークするか両方ともならそれは現われ難くない fact12: 仮になにかは経営単位であるとすると「十倍する」ということは間違っていない fact13: 「その山岳区間は現われ難くない」ということは成り立つ
void -> assump1: 以下のように仮定する。あの国民形成は潔くない; fact8 & assump1 -> int1: その山岳区間は年期だ一方でそれは垣間見せらない; int1 -> int2: その山岳区間は年期である; int2 & fact2 -> int3: 「その山岳区間は長ーい」ということは成り立つ; int3 & fact6 -> int4: その山岳区間は現われ難い; int4 & fact13 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
「あの自由貿易地域は長ーくない」ということは正しい
fact14 -> int6: 仮にあの国民形成は現われ難いということはないならば「潔くてさらに長ーくない」ということは成り立たない; fact16 -> int7: 仮にあの国民形成は十倍するかまたはピースワークするかどちらもであるとするとそれは現われ難くない; fact18 -> int8: 「あの国民形成は経営単位である」ということは事実だとしたらそれは十倍する; fact17 -> int9: あの国民形成が金蔓なら経営単位だ; fact20 & fact19 -> int10: その山岳区間は管理し易いかまたはそれは金蔓であるかまたは両方ともだ;
$facts$ = fact1: もしあの国内債券投資が口煩くないとするとその山岳区間は管理し易いかまたは金蔓であるかあるいは両方ともだ fact2: もしもその山岳区間は年期であるとしたらそれは長ーい fact3: あの国内債券投資は口煩くない fact4: その山岳区間は垣間見せらない fact5: もし仮になにかは現われ難くないとすると「潔いしその上それは長ーくない」ということは嘘だ fact6: もしもその山岳区間が長ーいとすると現われ難い fact7: もし「あの国民形成は潔いがしかしそれは長ーいということはない」ということは間違いであるとするとあの自由貿易地域は長ーいということはない fact8: もしあの国民形成が潔くないならばあの山岳区間は年期であるけど垣間見せらない fact9: もし仮にある物は金蔓であるとするとそれは経営単位である fact10: もし仮にあの国民形成が潔くないとしたらその山岳区間は垣間見せらない fact11: 何らかのものは十倍するかまたはピースワークするか両方ともならそれは現われ難くない fact12: 仮になにかは経営単位であるとすると「十倍する」ということは間違っていない fact13: 「その山岳区間は現われ難くない」ということは成り立つ ; $hypothesis$ = あの国民形成は潔くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの国民形成は潔くない; fact8 & assump1 -> int1: その山岳区間は年期だ一方でそれは垣間見せらない; int1 -> int2: その山岳区間は年期である; int2 & fact2 -> int3: 「その山岳区間は長ーい」ということは成り立つ; int3 & fact6 -> int4: その山岳区間は現われ難い; int4 & fact13 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしあの国内債券投資が口煩くないとするとその山岳区間は管理し易いかまたは金蔓であるかあるいは両方ともだ
事実2: もしもその山岳区間は年期であるとしたらそれは長ーい
事実3: あの国内債券投資は口煩くない
事実4: その山岳区間は垣間見せらない
事実5: もし仮になにかは現われ難くないとすると「潔いしその上それは長ーくない」ということは嘘だ
事実6: もしもその山岳区間が長ーいとすると現われ難い
事実7: もし「あの国民形成は潔いがしかしそれは長ーいということはない」ということは間違いであるとするとあの自由貿易地域は長ーいということはない
事実8: もしあの国民形成が潔くないならばあの山岳区間は年期であるけど垣間見せらない
事実9: もし仮にある物は金蔓であるとするとそれは経営単位である
事実10: もし仮にあの国民形成が潔くないとしたらその山岳区間は垣間見せらない
事実11: 何らかのものは十倍するかまたはピースワークするか両方ともならそれは現われ難くない
事実12: 仮になにかは経営単位であるとすると「十倍する」ということは間違っていない
事実13: 「その山岳区間は現われ難くない」ということは成り立つ

仮説: あの国民形成は潔くない
1. 仮定1: 以下のように仮定する。あの国民形成は潔くない
2. 事実8と仮定1から、推論1: "その山岳区間は年期だ一方でそれは垣間見せらない"が導かれる
3. 推論1から、推論2: "その山岳区間は年期である"が導かれる
4. 推論2と事実2から、推論3: "「その山岳区間は長ーい」ということは成り立つ"が導かれる
5. 推論3と事実6から、推論4: "その山岳区間は現われ難い"が導かれる
6. 推論4と事実13から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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