「そのサブカルチャーは青虫でなくて加えて安心しない」ということは誤りである
fact1: もし仮に「常傭するということはない」物はあるとしたら「そのサブカルチャーは青虫でない」ということは成り立つ fact2: 「そのサブカルチャーは青虫であるがそれは安心しない」ということは成り立たない fact3: もし何らかの物は教育観でないとすれば「常傭するけれど騙し絵であるということはない」ということは成り立たない fact4: この短慮はグレーゾーンであるけど教育観でない fact5: 「そのサブカルチャーは青虫でなくて安心しない」ということは間違いだ fact6: 仮にこの短慮がグレーゾーンだ一方で教育観でないならばその治安維持法改正は常傭しない fact7: 何らかの物は常傭するということはないとすると「それは青虫でないし縦貫するということはない」ということは成り立たない
fact5 -> hypothesis;
fact5 -> hypothesis;
そのサブカルチャーは青虫でなくてその上それは安心しない
fact10 & fact8 -> int1: その治安維持法改正は常傭しない; int1 -> int2: 「常傭しない」物はある; int2 & fact9 -> int3: そのサブカルチャーは青虫でない;
$facts$ = fact1: もし仮に「常傭するということはない」物はあるとしたら「そのサブカルチャーは青虫でない」ということは成り立つ fact2: 「そのサブカルチャーは青虫であるがそれは安心しない」ということは成り立たない fact3: もし何らかの物は教育観でないとすれば「常傭するけれど騙し絵であるということはない」ということは成り立たない fact4: この短慮はグレーゾーンであるけど教育観でない fact5: 「そのサブカルチャーは青虫でなくて安心しない」ということは間違いだ fact6: 仮にこの短慮がグレーゾーンだ一方で教育観でないならばその治安維持法改正は常傭しない fact7: 何らかの物は常傭するということはないとすると「それは青虫でないし縦貫するということはない」ということは成り立たない ; $hypothesis$ = 「そのサブカルチャーは青虫でなくて加えて安心しない」ということは誤りである ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし仮に「常傭するということはない」物はあるとしたら「そのサブカルチャーは青虫でない」ということは成り立つ
事実2: 「そのサブカルチャーは青虫であるがそれは安心しない」ということは成り立たない
事実3: もし何らかの物は教育観でないとすれば「常傭するけれど騙し絵であるということはない」ということは成り立たない
事実4: この短慮はグレーゾーンであるけど教育観でない
事実5: 「そのサブカルチャーは青虫でなくて安心しない」ということは間違いだ
事実6: 仮にこの短慮がグレーゾーンだ一方で教育観でないならばその治安維持法改正は常傭しない
事実7: 何らかの物は常傭するということはないとすると「それは青虫でないし縦貫するということはない」ということは成り立たない

仮説: 「そのサブカルチャーは青虫でなくて加えて安心しない」ということは誤りである
1. 事実5から、仮説が導かれる

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