「この粋は落成する」ということは真実である
fact1: もし「この粋はピアスしないがそれは辛抱強い」ということは成り立たないとするとそれは落成する fact2: 香ばしい物は這い蹲わない一方で落成する fact3: 「この粋はピアスするしそれは辛抱強い」ということは誤っている fact4: 仮になんらかの物は這い蹲わないがしかし香ばしいとすれば落成しない fact5: 仮にこの人類学者がフラッシュしないとするとこの熊鼠は爆散するしさらに久し fact6: もし仮に「「この熊鼠は念仏するということはないかもしくはそれは爆散しない」ということは事実と異なる」ということは正しいとするとこの粋は爆散するということはない fact7: 「このティールームは窺えない一方でピアスする」ということは成り立たない fact8: 仮にこの粋がピアスすれば落成する fact9: もし仮にこの粋が爆散しないとしたらその各種制度は香ばしいけれど久しない fact10: この人類学者がブラバスらしいしその上フラッシュする fact11: 「この人類学者はブラバスらしいかもしくは念仏するかもしくはどちらもだ」ということは偽であるならばフラッシュしない fact12: 「この粋はピアスしないがそれは辛抱強い」ということは成り立たない
fact1 & fact12 -> hypothesis;
fact1 & fact12 -> hypothesis;
この粋は落成しない
fact14 -> int1: もしこの粋は這い蹲わない一方で香ばしいとすれば「落成しない」ということは本当だ;
$facts$ = fact1: もし「この粋はピアスしないがそれは辛抱強い」ということは成り立たないとするとそれは落成する fact2: 香ばしい物は這い蹲わない一方で落成する fact3: 「この粋はピアスするしそれは辛抱強い」ということは誤っている fact4: 仮になんらかの物は這い蹲わないがしかし香ばしいとすれば落成しない fact5: 仮にこの人類学者がフラッシュしないとするとこの熊鼠は爆散するしさらに久し fact6: もし仮に「「この熊鼠は念仏するということはないかもしくはそれは爆散しない」ということは事実と異なる」ということは正しいとするとこの粋は爆散するということはない fact7: 「このティールームは窺えない一方でピアスする」ということは成り立たない fact8: 仮にこの粋がピアスすれば落成する fact9: もし仮にこの粋が爆散しないとしたらその各種制度は香ばしいけれど久しない fact10: この人類学者がブラバスらしいしその上フラッシュする fact11: 「この人類学者はブラバスらしいかもしくは念仏するかもしくはどちらもだ」ということは偽であるならばフラッシュしない fact12: 「この粋はピアスしないがそれは辛抱強い」ということは成り立たない ; $hypothesis$ = 「この粋は落成する」ということは真実である ; $proof$ = 
fact1 & fact12 -> hypothesis; __PROVED__
事実1: もし「この粋はピアスしないがそれは辛抱強い」ということは成り立たないとするとそれは落成する
事実2: 香ばしい物は這い蹲わない一方で落成する
事実3: 「この粋はピアスするしそれは辛抱強い」ということは誤っている
事実4: 仮になんらかの物は這い蹲わないがしかし香ばしいとすれば落成しない
事実5: 仮にこの人類学者がフラッシュしないとするとこの熊鼠は爆散するしさらに久し
事実6: もし仮に「「この熊鼠は念仏するということはないかもしくはそれは爆散しない」ということは事実と異なる」ということは正しいとするとこの粋は爆散するということはない
事実7: 「このティールームは窺えない一方でピアスする」ということは成り立たない
事実8: 仮にこの粋がピアスすれば落成する
事実9: もし仮にこの粋が爆散しないとしたらその各種制度は香ばしいけれど久しない
事実10: この人類学者がブラバスらしいしその上フラッシュする
事実11: 「この人類学者はブラバスらしいかもしくは念仏するかもしくはどちらもだ」ということは偽であるならばフラッシュしない
事実12: 「この粋はピアスしないがそれは辛抱強い」ということは成り立たない

仮説: 「この粋は落成する」ということは真実である
1. 事実1と事実12から、仮説が導かれる

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