その国際同盟は欠乏する
fact1: もし仮に丘陵地帯が引き返し始めるとするとその国際同盟は欠乏するということはない fact2: もしあの水雲が間質でないとしたらあのＣＡＤデータは東アジア世界論だしまたハレムだ fact3: すべては忝いしアメリカっぽい fact4: その当惑は引き返し始める fact5: その鮎は引き返し始める fact6: 「丘陵地帯な」物はある fact7: もし何かは東アジア世界論であるならそれは優しい fact8: あの水雲は間質であるけどそれは東アジア世界論でない fact9: 「引き返し始める」物はある fact10: 「その当惑は丘陵地帯でないがしかし欠乏する」ということは成り立たないとしたら「その約千人は交通機関だ」ということは真実である fact11: このスレーブは引き返し始める fact12: 仮にとあるものは忝いなら「それは絞れなくてかつ働き易くない」ということは間違いである fact13: とある物は東アジア世界論であるなら「引き返し始める」ということは確かだ fact14: もし仮にあの水雲が間質だが東アジア世界論でないならばあの約千人は東アジア世界論である fact15: その当惑は丘陵地帯だ fact16: その当惑は欠乏しない
fact15 & fact4 -> int1: その当惑は丘陵地帯で引き返し始める; int1 -> int2: 何らかのものは丘陵地帯であるしさらに引き返し始める; int2 & fact1 -> hypothesis;
fact15 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact1 -> hypothesis;
その国際同盟は欠乏する
fact20 -> int3: このエコノミークラスは忝いなら「それは絞れないし働き易くない」ということは成り立つということはない; fact19 -> int4: このエコノミークラスは忝いしアメリカっぽい; int4 -> int5: このエコノミークラスは忝い; int3 & int5 -> int6: 「このエコノミークラスは絞れなくてかつ働き易くない」ということは成り立たない; int6 -> int7: それは絞れなくてそれは働き易くないというものはない; int7 -> int8: 「あの水雲が絞れなくてその上働き易いということはない」ということは成り立たない; fact17 -> int9: 仮にあのＣＡＤデータが東アジア世界論だとすると優しい;
$facts$ = fact1: もし仮に丘陵地帯が引き返し始めるとするとその国際同盟は欠乏するということはない fact2: もしあの水雲が間質でないとしたらあのＣＡＤデータは東アジア世界論だしまたハレムだ fact3: すべては忝いしアメリカっぽい fact4: その当惑は引き返し始める fact5: その鮎は引き返し始める fact6: 「丘陵地帯な」物はある fact7: もし何かは東アジア世界論であるならそれは優しい fact8: あの水雲は間質であるけどそれは東アジア世界論でない fact9: 「引き返し始める」物はある fact10: 「その当惑は丘陵地帯でないがしかし欠乏する」ということは成り立たないとしたら「その約千人は交通機関だ」ということは真実である fact11: このスレーブは引き返し始める fact12: 仮にとあるものは忝いなら「それは絞れなくてかつ働き易くない」ということは間違いである fact13: とある物は東アジア世界論であるなら「引き返し始める」ということは確かだ fact14: もし仮にあの水雲が間質だが東アジア世界論でないならばあの約千人は東アジア世界論である fact15: その当惑は丘陵地帯だ fact16: その当惑は欠乏しない ; $hypothesis$ = その国際同盟は欠乏する ; $proof$ = 
fact15 & fact4 -> int1: その当惑は丘陵地帯で引き返し始める; int1 -> int2: 何らかのものは丘陵地帯であるしさらに引き返し始める; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に丘陵地帯が引き返し始めるとするとその国際同盟は欠乏するということはない
事実2: もしあの水雲が間質でないとしたらあのＣＡＤデータは東アジア世界論だしまたハレムだ
事実3: すべては忝いしアメリカっぽい
事実4: その当惑は引き返し始める
事実5: その鮎は引き返し始める
事実6: 「丘陵地帯な」物はある
事実7: もし何かは東アジア世界論であるならそれは優しい
事実8: あの水雲は間質であるけどそれは東アジア世界論でない
事実9: 「引き返し始める」物はある
事実10: 「その当惑は丘陵地帯でないがしかし欠乏する」ということは成り立たないとしたら「その約千人は交通機関だ」ということは真実である
事実11: このスレーブは引き返し始める
事実12: 仮にとあるものは忝いなら「それは絞れなくてかつ働き易くない」ということは間違いである
事実13: とある物は東アジア世界論であるなら「引き返し始める」ということは確かだ
事実14: もし仮にあの水雲が間質だが東アジア世界論でないならばあの約千人は東アジア世界論である
事実15: その当惑は丘陵地帯だ
事実16: その当惑は欠乏しない

仮説: その国際同盟は欠乏する
1. 事実15と事実4から、推論1: "その当惑は丘陵地帯で引き返し始める"が導かれる
2. 推論1から、推論2: "何らかのものは丘陵地帯であるしさらに引き返し始める"が導かれる
3. 推論2と事実1から、仮説が否定される

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