あの御頭は如何わしくない
fact1: このサブカルチャーは上達法である fact2: 「何らかのものは上達法だということはなくて加えて如何わしくない」ということは本当でないとするとそれは黒松だ fact3: 「このサブカルチャーは等線量曲線である」ということは成り立つ fact4: もしこのサブカルチャーが等線量曲線で上達法であるならばあの御頭は如何わしくない
fact3 & fact1 -> int1: 「このサブカルチャーは等線量曲線であるしそれに上達法である」ということは真実だ; int1 & fact4 -> hypothesis;
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis;
「あの分権化は黒松だしおまけに肉薄する」ということは本当だ
fact5 -> int2: もし「あの分権化は上達法でなくて如何わしいということはない」ということは偽だとするとそれは黒松だ;
$facts$ = fact1: このサブカルチャーは上達法である fact2: 「何らかのものは上達法だということはなくて加えて如何わしくない」ということは本当でないとするとそれは黒松だ fact3: 「このサブカルチャーは等線量曲線である」ということは成り立つ fact4: もしこのサブカルチャーが等線量曲線で上達法であるならばあの御頭は如何わしくない ; $hypothesis$ = あの御頭は如何わしくない ; $proof$ = 
fact3 & fact1 -> int1: 「このサブカルチャーは等線量曲線であるしそれに上達法である」ということは真実だ; int1 & fact4 -> hypothesis; __PROVED__
事実1: このサブカルチャーは上達法である
事実2: 「何らかのものは上達法だということはなくて加えて如何わしくない」ということは本当でないとするとそれは黒松だ
事実3: 「このサブカルチャーは等線量曲線である」ということは成り立つ
事実4: もしこのサブカルチャーが等線量曲線で上達法であるならばあの御頭は如何わしくない

仮説: あの御頭は如何わしくない
1. 事実3と事実1から、推論1: "「このサブカルチャーは等線量曲線であるしそれに上達法である」ということは真実だ"が導かれる
2. 推論1と事実4から、仮説が導かれる

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