その大ヒット曲は寄与すということはなくてまた疑い有りでない
fact1: 仮に「とあるものは物有りであるということはない」ということは成り立つなら安らかさである fact2: もしも「このバッファーは物有りでないし特許発明であるということはない」ということは成り立たないならばあの大ヒット曲は物有りでない fact3: もしもとある物は安らかさだとすると「それは塗り付けないけど寄与す」ということは成り立たない fact4: その大ヒット曲は寄与すらない fact5: そのクラスター爆弾は寄与すらない fact6: 「「その大ヒット曲は塗り付けないが寄与す」ということは真実でないなら「そのクロミプラミンは疑い有りでない」ということは成り立つ」ということは成り立つ fact7: その大ヒット曲は疑い有りでない
fact4 & fact7 -> hypothesis;
「そのクロミプラミンは疑い有りでない」ということは真実だ
fact10 -> int1: もしその大ヒット曲は安らかさであるとすれば「それは塗り付けなくて加えてそれは寄与す」ということは成り立たない; fact11 -> int2: その大ヒット曲は物有りでないとすると安らかさだ;
$facts$ = fact1: 仮に「とあるものは物有りであるということはない」ということは成り立つなら安らかさである fact2: もしも「このバッファーは物有りでないし特許発明であるということはない」ということは成り立たないならばあの大ヒット曲は物有りでない fact3: もしもとある物は安らかさだとすると「それは塗り付けないけど寄与す」ということは成り立たない fact4: その大ヒット曲は寄与すらない fact5: そのクラスター爆弾は寄与すらない fact6: 「「その大ヒット曲は塗り付けないが寄与す」ということは真実でないなら「そのクロミプラミンは疑い有りでない」ということは成り立つ」ということは成り立つ fact7: その大ヒット曲は疑い有りでない ; $hypothesis$ = その大ヒット曲は寄与すということはなくてまた疑い有りでない ; $proof$ = 
fact4 & fact7 -> hypothesis; __PROVED__
事実1: 仮に「とあるものは物有りであるということはない」ということは成り立つなら安らかさである
事実2: もしも「このバッファーは物有りでないし特許発明であるということはない」ということは成り立たないならばあの大ヒット曲は物有りでない
事実3: もしもとある物は安らかさだとすると「それは塗り付けないけど寄与す」ということは成り立たない
事実4: その大ヒット曲は寄与すらない
事実5: そのクラスター爆弾は寄与すらない
事実6: 「「その大ヒット曲は塗り付けないが寄与す」ということは真実でないなら「そのクロミプラミンは疑い有りでない」ということは成り立つ」ということは成り立つ
事実7: その大ヒット曲は疑い有りでない

仮説: その大ヒット曲は寄与すということはなくてまた疑い有りでない
1. 事実4と事実7から、仮説が導かれる

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