「この具体的数値は手痛いがそれは合弁契約でない」ということは嘘である
fact1: 蓬ヒュッテが聞き入れないとするとこの前年度比は解消出来る fact2: とある物は蓬ヒュッテでないがしかし聞き入れる fact3: この前年度比がリスク要因であるとしたらこの具体的数値は手痛い fact4: 「蓬ヒュッテであるということはないしかつ聞き入れない」物はある fact5: 仮になにがしかの物は蓬ヒュッテであるということはないとしたら「手痛い一方で合弁契約でない」ということは偽だ fact6: この前年度比が解消出来るならそれはリスク要因である fact7: もしもこの前年度比がリスク要因だとするとこの具体的数値は手痛いけれど合弁契約でない fact8: この具体的数値は手痛い fact9: 「蓬ヒュッテであるということはない」物はある fact10: なにかは蓬ヒュッテでないし聞き入れるということはないとしたらこの前年度比は解消出来る
fact4 & fact10 -> int1: この前年度比は解消出来る; int1 & fact6 -> int2: この前年度比はリスク要因だ; int2 & fact7 -> hypothesis;
「この具体的数値は手痛いがしかし合弁契約でない」ということは誤っている
fact11 -> int3: この具体的数値は蓬ヒュッテでないならば「手痛いが合弁契約でない」ということは間違っている;
$facts$ = fact1: 蓬ヒュッテが聞き入れないとするとこの前年度比は解消出来る fact2: とある物は蓬ヒュッテでないがしかし聞き入れる fact3: この前年度比がリスク要因であるとしたらこの具体的数値は手痛い fact4: 「蓬ヒュッテであるということはないしかつ聞き入れない」物はある fact5: 仮になにがしかの物は蓬ヒュッテであるということはないとしたら「手痛い一方で合弁契約でない」ということは偽だ fact6: この前年度比が解消出来るならそれはリスク要因である fact7: もしもこの前年度比がリスク要因だとするとこの具体的数値は手痛いけれど合弁契約でない fact8: この具体的数値は手痛い fact9: 「蓬ヒュッテであるということはない」物はある fact10: なにかは蓬ヒュッテでないし聞き入れるということはないとしたらこの前年度比は解消出来る ; $hypothesis$ = 「この具体的数値は手痛いがそれは合弁契約でない」ということは嘘である ; $proof$ = 
fact4 & fact10 -> int1: この前年度比は解消出来る; int1 & fact6 -> int2: この前年度比はリスク要因だ; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: 蓬ヒュッテが聞き入れないとするとこの前年度比は解消出来る
事実2: とある物は蓬ヒュッテでないがしかし聞き入れる
事実3: この前年度比がリスク要因であるとしたらこの具体的数値は手痛い
事実4: 「蓬ヒュッテであるということはないしかつ聞き入れない」物はある
事実5: 仮になにがしかの物は蓬ヒュッテであるということはないとしたら「手痛い一方で合弁契約でない」ということは偽だ
事実6: この前年度比が解消出来るならそれはリスク要因である
事実7: もしもこの前年度比がリスク要因だとするとこの具体的数値は手痛いけれど合弁契約でない
事実8: この具体的数値は手痛い
事実9: 「蓬ヒュッテであるということはない」物はある
事実10: なにかは蓬ヒュッテでないし聞き入れるということはないとしたらこの前年度比は解消出来る

仮説: 「この具体的数値は手痛いがそれは合弁契約でない」ということは嘘である
1. 事実4と事実10から、推論1: "この前年度比は解消出来る"が導かれる
2. 推論1と事実6から、推論2: "この前年度比はリスク要因だ"が導かれる
3. 推論2と事実7から、仮説が否定される

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