その封建的秩序は資料ページである
fact1: 説明し難い物は神王である fact2: その頂版は崩し易い fact3: あのＸ国が神王であるとしたらこの等比重ブピバカインは崩し易い fact4: もしあのＸ国が崩し易いとするとこの等比重ブピバカインは説明し難い fact5: あのＸ国はボタンツールで更に説明し難い fact6: 「あのＸ国は経上がる」ということは事実であるならば説明し難い fact7: もしあのＸ国が説明し難いならばこの等比重ブピバカインはボタンツールだ fact8: もし仮にあるものは資料ページであるとすれば「それは神王でない」ということは確かだ fact9: この等比重ブピバカインは付着毛である fact10: この等比重ブピバカインは説明し難い fact11: もし仮に「なにがしかの物はボタンツールでなくて説明し難くない」ということは誤りだとすると「それは資料ページでない」ということは正しい fact12: 「あのＸ国はボタンツールだ」ということは成り立つ fact13: もしこの等比重ブピバカインが経上がるとすればその封建的秩序は資料ページだ fact14: 資料ページは搾取分配しない fact15: もし何らかの物が冷め易いとするとそれは手堅くないけど存在す fact16: 崩し易いものは搾取分配するということはないが経上がる fact17: もし何かは金魚であるならそれは限り無い fact18: この等比重ブピバカインは搾取分配しない fact19: その光合成は説明し難いしまたそれは八号営業だ fact20: ボタンツールは変わり易くないけど舞い上げる
fact5 -> int1: あのＸ国は説明し難い; fact1 -> int2: もしもあのＸ国が説明し難いなら神王である; int1 & int2 -> int3: あのＸ国は神王である; int3 & fact3 -> int4: この等比重ブピバカインは崩し易い; fact16 -> int5: この等比重ブピバカインが崩し易いならそれは搾取分配しないけれど経上がる; int4 & int5 -> int6: この等比重ブピバカインは搾取分配しないがしかし経上がる; int6 -> int7: この等比重ブピバカインは経上がる; int7 & fact13 -> hypothesis;
この等比重ブピバカインは変わり易くないがしかし舞い上げる
fact21 -> int8: もし仮にあのＸ国がボタンツールであるならば変わり易くないしそれに舞い上げる;
$facts$ = fact1: 説明し難い物は神王である fact2: その頂版は崩し易い fact3: あのＸ国が神王であるとしたらこの等比重ブピバカインは崩し易い fact4: もしあのＸ国が崩し易いとするとこの等比重ブピバカインは説明し難い fact5: あのＸ国はボタンツールで更に説明し難い fact6: 「あのＸ国は経上がる」ということは事実であるならば説明し難い fact7: もしあのＸ国が説明し難いならばこの等比重ブピバカインはボタンツールだ fact8: もし仮にあるものは資料ページであるとすれば「それは神王でない」ということは確かだ fact9: この等比重ブピバカインは付着毛である fact10: この等比重ブピバカインは説明し難い fact11: もし仮に「なにがしかの物はボタンツールでなくて説明し難くない」ということは誤りだとすると「それは資料ページでない」ということは正しい fact12: 「あのＸ国はボタンツールだ」ということは成り立つ fact13: もしこの等比重ブピバカインが経上がるとすればその封建的秩序は資料ページだ fact14: 資料ページは搾取分配しない fact15: もし何らかの物が冷め易いとするとそれは手堅くないけど存在す fact16: 崩し易いものは搾取分配するということはないが経上がる fact17: もし何かは金魚であるならそれは限り無い fact18: この等比重ブピバカインは搾取分配しない fact19: その光合成は説明し難いしまたそれは八号営業だ fact20: ボタンツールは変わり易くないけど舞い上げる ; $hypothesis$ = その封建的秩序は資料ページである ; $proof$ = 
fact5 -> int1: あのＸ国は説明し難い; fact1 -> int2: もしもあのＸ国が説明し難いなら神王である; int1 & int2 -> int3: あのＸ国は神王である; int3 & fact3 -> int4: この等比重ブピバカインは崩し易い; fact16 -> int5: この等比重ブピバカインが崩し易いならそれは搾取分配しないけれど経上がる; int4 & int5 -> int6: この等比重ブピバカインは搾取分配しないがしかし経上がる; int6 -> int7: この等比重ブピバカインは経上がる; int7 & fact13 -> hypothesis; __PROVED__
事実1: 説明し難い物は神王である
事実2: その頂版は崩し易い
事実3: あのＸ国が神王であるとしたらこの等比重ブピバカインは崩し易い
事実4: もしあのＸ国が崩し易いとするとこの等比重ブピバカインは説明し難い
事実5: あのＸ国はボタンツールで更に説明し難い
事実6: 「あのＸ国は経上がる」ということは事実であるならば説明し難い
事実7: もしあのＸ国が説明し難いならばこの等比重ブピバカインはボタンツールだ
事実8: もし仮にあるものは資料ページであるとすれば「それは神王でない」ということは確かだ
事実9: この等比重ブピバカインは付着毛である
事実10: この等比重ブピバカインは説明し難い
事実11: もし仮に「なにがしかの物はボタンツールでなくて説明し難くない」ということは誤りだとすると「それは資料ページでない」ということは正しい
事実12: 「あのＸ国はボタンツールだ」ということは成り立つ
事実13: もしこの等比重ブピバカインが経上がるとすればその封建的秩序は資料ページだ
事実14: 資料ページは搾取分配しない
事実15: もし何らかの物が冷め易いとするとそれは手堅くないけど存在す
事実16: 崩し易いものは搾取分配するということはないが経上がる
事実17: もし何かは金魚であるならそれは限り無い
事実18: この等比重ブピバカインは搾取分配しない
事実19: その光合成は説明し難いしまたそれは八号営業だ
事実20: ボタンツールは変わり易くないけど舞い上げる

仮説: その封建的秩序は資料ページである
1. 事実5から、推論1: "あのＸ国は説明し難い"が導かれる
2. 事実1から、推論2: "もしもあのＸ国が説明し難いなら神王である"が導かれる
3. 推論1と推論2から、推論3: "あのＸ国は神王である"が導かれる
4. 推論3と事実3から、推論4: "この等比重ブピバカインは崩し易い"が導かれる
5. 事実16から、推論5: "この等比重ブピバカインが崩し易いならそれは搾取分配しないけれど経上がる"が導かれる
6. 推論4と推論5から、推論6: "この等比重ブピバカインは搾取分配しないがしかし経上がる"が導かれる
7. 推論6から、推論7: "この等比重ブピバカインは経上がる"が導かれる
8. 推論7と事実13から、仮説が導かれる

よって、仮説が証明されました。