「「あの落札数はナツメグだが出発でない」ということは成り立たない」ということは成り立つ
fact1: 残高証明書はナツメグである fact2: もし仮に何かは文章力であるとしたら「ナツメグだが短くない」ということは誤りである fact3: この予算原則は二十六Ａであるかあるいは残高証明書であるかまたはどちらもだ fact4: あの面内は御労しいが譲り合わない fact5: この予算原則が出発でないしそれに内省しないならあの落札数は出発でない fact6: もしこの予算原則はタッピングだということはないならば「それは疚しいか放射線感受性でないか両方だ」ということは嘘だ fact7: この予算原則が残高証明書だとするとあの落札数は内省する fact8: 仮にこの予算原則が二十六Ａであるとしたらあの落札数は内省する fact9: もし「このコバルト色は荒らすが猟銃でない」ということは成り立つならこの予算原則は出発でない fact10: もしもその八例が離れ難くないならこのコバルト色は荒らすがしかしそれは猟銃でない fact11: 二十六Ａはナツメグである fact12: もしなんらかのものは内省するとすると「ナツメグであるがしかし出発でない」ということは成り立たない fact13: 仮にある物が御労しいがしかし譲り合わないとしたら「あのガルニチュールは二十六Ａである」ということは正しい fact14: もし「この予算原則は疚しいかもしくは放射線感受性でない」ということは成り立つということはないとすると「内省しない」ということは成り立つ fact15: もし「二十六Ａな」物があるとしたらあの落札数は二十六Ａであるかまたは残高証明書であるかまたは両方ともだ
fact12 -> int1: もしもあの落札数は内省するとすれば「ナツメグであるけど出発でない」ということは誤りだ; fact3 & fact7 & fact8 -> int2: あの落札数は内省する; int1 & int2 -> hypothesis;
この六十四ペは文章力であるならば「ナツメグだししかも短くない」ということは成り立たない
fact16 -> hypothesis;
$facts$ = fact1: 残高証明書はナツメグである fact2: もし仮に何かは文章力であるとしたら「ナツメグだが短くない」ということは誤りである fact3: この予算原則は二十六Ａであるかあるいは残高証明書であるかまたはどちらもだ fact4: あの面内は御労しいが譲り合わない fact5: この予算原則が出発でないしそれに内省しないならあの落札数は出発でない fact6: もしこの予算原則はタッピングだということはないならば「それは疚しいか放射線感受性でないか両方だ」ということは嘘だ fact7: この予算原則が残高証明書だとするとあの落札数は内省する fact8: 仮にこの予算原則が二十六Ａであるとしたらあの落札数は内省する fact9: もし「このコバルト色は荒らすが猟銃でない」ということは成り立つならこの予算原則は出発でない fact10: もしもその八例が離れ難くないならこのコバルト色は荒らすがしかしそれは猟銃でない fact11: 二十六Ａはナツメグである fact12: もしなんらかのものは内省するとすると「ナツメグであるがしかし出発でない」ということは成り立たない fact13: 仮にある物が御労しいがしかし譲り合わないとしたら「あのガルニチュールは二十六Ａである」ということは正しい fact14: もし「この予算原則は疚しいかもしくは放射線感受性でない」ということは成り立つということはないとすると「内省しない」ということは成り立つ fact15: もし「二十六Ａな」物があるとしたらあの落札数は二十六Ａであるかまたは残高証明書であるかまたは両方ともだ ; $hypothesis$ = 「「あの落札数はナツメグだが出発でない」ということは成り立たない」ということは成り立つ ; $proof$ = 
fact12 -> int1: もしもあの落札数は内省するとすれば「ナツメグであるけど出発でない」ということは誤りだ; fact3 & fact7 & fact8 -> int2: あの落札数は内省する; int1 & int2 -> hypothesis; __PROVED__
事実1: 残高証明書はナツメグである
事実2: もし仮に何かは文章力であるとしたら「ナツメグだが短くない」ということは誤りである
事実3: この予算原則は二十六Ａであるかあるいは残高証明書であるかまたはどちらもだ
事実4: あの面内は御労しいが譲り合わない
事実5: この予算原則が出発でないしそれに内省しないならあの落札数は出発でない
事実6: もしこの予算原則はタッピングだということはないならば「それは疚しいか放射線感受性でないか両方だ」ということは嘘だ
事実7: この予算原則が残高証明書だとするとあの落札数は内省する
事実8: 仮にこの予算原則が二十六Ａであるとしたらあの落札数は内省する
事実9: もし「このコバルト色は荒らすが猟銃でない」ということは成り立つならこの予算原則は出発でない
事実10: もしもその八例が離れ難くないならこのコバルト色は荒らすがしかしそれは猟銃でない
事実11: 二十六Ａはナツメグである
事実12: もしなんらかのものは内省するとすると「ナツメグであるがしかし出発でない」ということは成り立たない
事実13: 仮にある物が御労しいがしかし譲り合わないとしたら「あのガルニチュールは二十六Ａである」ということは正しい
事実14: もし「この予算原則は疚しいかもしくは放射線感受性でない」ということは成り立つということはないとすると「内省しない」ということは成り立つ
事実15: もし「二十六Ａな」物があるとしたらあの落札数は二十六Ａであるかまたは残高証明書であるかまたは両方ともだ

仮説: 「「あの落札数はナツメグだが出発でない」ということは成り立たない」ということは成り立つ
1. 事実12から、推論1: "もしもあの落札数は内省するとすれば「ナツメグであるけど出発でない」ということは誤りだ"が導かれる
2. 事実3と事実7と事実8から、推論2: "あの落札数は内省する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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