その無礼講は黒人兵達であるかあるいは見苦しいかもしくは両方ともである
fact1: もしその妻科村が煙たくないがしかし農家点在地だとすればそのオブジェクト指向プログラミングは住み難くない fact2: 聞き取り易くない物は黒人兵達であるかあるいは見苦しいかあるいは両方ともだ fact3: そのＪＡＮＴ側は聞き取り易くないとすると「その無礼講は黒人兵達であるかもしくはそれは見苦しいかまたは両方だ」ということは成り立たない fact4: 「あの秘伝は悪しけれど寂びない」ということは事実と異なる fact5: 「「悪し物であり寂びない」ということは成り立たない」ものはあるとしたら「この公共債は手懐ける」ということは本当だ fact6: 「その無礼講は住み難いがしかしそれは説き始めるということはない」ということは誤っている fact7: もしもなにかは手懐けるとすればそれは色っぽい fact8: もし仮にそのオブジェクト指向プログラミングは住み難くないとすれば「そのＪＡＮＴ側は説き始めるしまた聞き取り易い」ということは成り立たない fact9: もし仮に「その無礼講は住み難い一方でそれは説き始めない」ということは事実と異なるとしたらそれは聞き取り易いということはない fact10: 「もし仮にある物は色っぽいとすると「「煙たくない一方で創作する」ということは真実である」ということは誤りだ」ということは成り立つ fact11: もしも「この公共債は煙たくない一方で創作する」ということは成り立たないとすると「その妻科村は煙たくない」ということは真実だ fact12: 「その文化行政は開き切るしそれは狡い」ということは間違いである
fact2 -> int1: もしもその無礼講は聞き取り易くないとすると「それは黒人兵達であるかもしくは見苦しいかあるいは両方ともである」ということは真実だ; fact6 & fact9 -> int2: その無礼講は聞き取り易くない; int1 & int2 -> hypothesis;
「その無礼講は黒人兵達であるかあるいはそれは見苦しい」ということは間違いである
fact19 -> int3: もし「この公共債は色っぽい」ということは成り立てば「それは煙たいということはないしおまけにそれは創作する」ということは誤っている; fact14 -> int4: もしもこの公共債が手懐けるとするとそれは色っぽい; fact16 -> int5: 「「悪ししまた寂びない」ということは成り立つということはない」物はある; int5 & fact17 -> int6: この公共債は手懐ける; int4 & int6 -> int7: この公共債は色っぽい; int3 & int7 -> int8: 「この公共債は煙たいということはないけれど創作する」ということは間違いだ; fact15 & int8 -> int9: その妻科村は煙たくない;
$facts$ = fact1: もしその妻科村が煙たくないがしかし農家点在地だとすればそのオブジェクト指向プログラミングは住み難くない fact2: 聞き取り易くない物は黒人兵達であるかあるいは見苦しいかあるいは両方ともだ fact3: そのＪＡＮＴ側は聞き取り易くないとすると「その無礼講は黒人兵達であるかもしくはそれは見苦しいかまたは両方だ」ということは成り立たない fact4: 「あの秘伝は悪しけれど寂びない」ということは事実と異なる fact5: 「「悪し物であり寂びない」ということは成り立たない」ものはあるとしたら「この公共債は手懐ける」ということは本当だ fact6: 「その無礼講は住み難いがしかしそれは説き始めるということはない」ということは誤っている fact7: もしもなにかは手懐けるとすればそれは色っぽい fact8: もし仮にそのオブジェクト指向プログラミングは住み難くないとすれば「そのＪＡＮＴ側は説き始めるしまた聞き取り易い」ということは成り立たない fact9: もし仮に「その無礼講は住み難い一方でそれは説き始めない」ということは事実と異なるとしたらそれは聞き取り易いということはない fact10: 「もし仮にある物は色っぽいとすると「「煙たくない一方で創作する」ということは真実である」ということは誤りだ」ということは成り立つ fact11: もしも「この公共債は煙たくない一方で創作する」ということは成り立たないとすると「その妻科村は煙たくない」ということは真実だ fact12: 「その文化行政は開き切るしそれは狡い」ということは間違いである ; $hypothesis$ = その無礼講は黒人兵達であるかあるいは見苦しいかもしくは両方ともである ; $proof$ = 
fact2 -> int1: もしもその無礼講は聞き取り易くないとすると「それは黒人兵達であるかもしくは見苦しいかあるいは両方ともである」ということは真実だ; fact6 & fact9 -> int2: その無礼講は聞き取り易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしその妻科村が煙たくないがしかし農家点在地だとすればそのオブジェクト指向プログラミングは住み難くない
事実2: 聞き取り易くない物は黒人兵達であるかあるいは見苦しいかあるいは両方ともだ
事実3: そのＪＡＮＴ側は聞き取り易くないとすると「その無礼講は黒人兵達であるかもしくはそれは見苦しいかまたは両方だ」ということは成り立たない
事実4: 「あの秘伝は悪しけれど寂びない」ということは事実と異なる
事実5: 「「悪し物であり寂びない」ということは成り立たない」ものはあるとしたら「この公共債は手懐ける」ということは本当だ
事実6: 「その無礼講は住み難いがしかしそれは説き始めるということはない」ということは誤っている
事実7: もしもなにかは手懐けるとすればそれは色っぽい
事実8: もし仮にそのオブジェクト指向プログラミングは住み難くないとすれば「そのＪＡＮＴ側は説き始めるしまた聞き取り易い」ということは成り立たない
事実9: もし仮に「その無礼講は住み難い一方でそれは説き始めない」ということは事実と異なるとしたらそれは聞き取り易いということはない
事実10: 「もし仮にある物は色っぽいとすると「「煙たくない一方で創作する」ということは真実である」ということは誤りだ」ということは成り立つ
事実11: もしも「この公共債は煙たくない一方で創作する」ということは成り立たないとすると「その妻科村は煙たくない」ということは真実だ
事実12: 「その文化行政は開き切るしそれは狡い」ということは間違いである

仮説: その無礼講は黒人兵達であるかあるいは見苦しいかもしくは両方ともである
1. 事実2から、推論1: "もしもその無礼講は聞き取り易くないとすると「それは黒人兵達であるかもしくは見苦しいかあるいは両方ともである」ということは真実だ"が導かれる
2. 事実6と事実9から、推論2: "その無礼講は聞き取り易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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