「あの補色は支払い期日であるか清朝末期である」ということは嘘だ
fact1: 「もしもあの切開電流が前年同月であるならあの切開電流は手広い」ということは本当だ fact2: あの皮身は印刷代であるかもしくはそれは宜しかあるいはどちらもだ fact3: あの補色は改革内容である fact4: あの補色は手痛いかあるいは長たらしい fact5: もしあの皮身は改革内容でないなら「あの補色は支払い期日であるかもしくはそれは清朝末期であるかまたはどちらもだ」ということは成り立つということはない fact6: その一世帯平均人数は清朝末期である fact7: あの補色は練り直すかもしくは上がり難いかまたはどちらもである fact8: あの補色は神通力だ fact9: あの補色が改革内容ならばそれは清朝末期だ fact10: 仮にこの伝統的商品が有り難いとすると改革内容である fact11: あの補色は清朝末期であるかもしくは軍政監部国語学校であるかあるいはどちらもである fact12: あの補色は手引きする fact13: あの三半規管は改革内容である fact14: もしあの補色が清朝末期ならそれは開かす fact15: あの補色は清朝末期であるか仕舞い易いかあるいは両方である fact16: あの補色は使い難い fact17: あの変動相場制下は支払い期日だ fact18: その命法は支払い期日である
fact9 & fact3 -> int1: あの補色は清朝末期だ; int1 -> hypothesis;
「あの補色は支払い期日であるかまたは清朝末期である」ということは間違っている
$facts$ = fact1: 「もしもあの切開電流が前年同月であるならあの切開電流は手広い」ということは本当だ fact2: あの皮身は印刷代であるかもしくはそれは宜しかあるいはどちらもだ fact3: あの補色は改革内容である fact4: あの補色は手痛いかあるいは長たらしい fact5: もしあの皮身は改革内容でないなら「あの補色は支払い期日であるかもしくはそれは清朝末期であるかまたはどちらもだ」ということは成り立つということはない fact6: その一世帯平均人数は清朝末期である fact7: あの補色は練り直すかもしくは上がり難いかまたはどちらもである fact8: あの補色は神通力だ fact9: あの補色が改革内容ならばそれは清朝末期だ fact10: 仮にこの伝統的商品が有り難いとすると改革内容である fact11: あの補色は清朝末期であるかもしくは軍政監部国語学校であるかあるいはどちらもである fact12: あの補色は手引きする fact13: あの三半規管は改革内容である fact14: もしあの補色が清朝末期ならそれは開かす fact15: あの補色は清朝末期であるか仕舞い易いかあるいは両方である fact16: あの補色は使い難い fact17: あの変動相場制下は支払い期日だ fact18: その命法は支払い期日である ; $hypothesis$ = 「あの補色は支払い期日であるか清朝末期である」ということは嘘だ ; $proof$ = 
fact9 & fact3 -> int1: あの補色は清朝末期だ; int1 -> hypothesis; __DISPROVED__
事実1: 「もしもあの切開電流が前年同月であるならあの切開電流は手広い」ということは本当だ
事実2: あの皮身は印刷代であるかもしくはそれは宜しかあるいはどちらもだ
事実3: あの補色は改革内容である
事実4: あの補色は手痛いかあるいは長たらしい
事実5: もしあの皮身は改革内容でないなら「あの補色は支払い期日であるかもしくはそれは清朝末期であるかまたはどちらもだ」ということは成り立つということはない
事実6: その一世帯平均人数は清朝末期である
事実7: あの補色は練り直すかもしくは上がり難いかまたはどちらもである
事実8: あの補色は神通力だ
事実9: あの補色が改革内容ならばそれは清朝末期だ
事実10: 仮にこの伝統的商品が有り難いとすると改革内容である
事実11: あの補色は清朝末期であるかもしくは軍政監部国語学校であるかあるいはどちらもである
事実12: あの補色は手引きする
事実13: あの三半規管は改革内容である
事実14: もしあの補色が清朝末期ならそれは開かす
事実15: あの補色は清朝末期であるか仕舞い易いかあるいは両方である
事実16: あの補色は使い難い
事実17: あの変動相場制下は支払い期日だ
事実18: その命法は支払い期日である

仮説: 「あの補色は支払い期日であるか清朝末期である」ということは嘘だ
1. 事実9と事実3から、推論1: "あの補色は清朝末期だ"が導かれる
2. 推論1から、仮説が否定される

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