この社会的余剰は青春ドラマである
fact1: この社会的余剰は文書類であるけれど販売管理でない fact2: この社会的余剰は紙屑でない fact3: その血糖値は青春ドラマである fact4: この社会的余剰はぎこちない fact5: もし仮になにがしかのものが肥大化しなくて販売管理だということはないならばそれは文書類だ fact6: もし仮にこの社会的余剰が販売管理でない一方でそれが青春ドラマだとするとこの亜種は青春ドラマでない fact7: 仮にあるものは販売管理でないとしたら青春ドラマであるということはない fact8: この部分的拒否は販売管理だ
fact1 -> int1: この社会的余剰は販売管理でない; fact7 -> int2: この社会的余剰は販売管理でないとしたらそれは青春ドラマでない; int1 & int2 -> hypothesis;
この社会的余剰は青春ドラマだ
fact9 -> int3: もし仮にこの社会的余剰は肥大化しなくてそれに販売管理でないとしたらそれは文書類である;
$facts$ = fact1: この社会的余剰は文書類であるけれど販売管理でない fact2: この社会的余剰は紙屑でない fact3: その血糖値は青春ドラマである fact4: この社会的余剰はぎこちない fact5: もし仮になにがしかのものが肥大化しなくて販売管理だということはないならばそれは文書類だ fact6: もし仮にこの社会的余剰が販売管理でない一方でそれが青春ドラマだとするとこの亜種は青春ドラマでない fact7: 仮にあるものは販売管理でないとしたら青春ドラマであるということはない fact8: この部分的拒否は販売管理だ ; $hypothesis$ = この社会的余剰は青春ドラマである ; $proof$ = 
fact1 -> int1: この社会的余剰は販売管理でない; fact7 -> int2: この社会的余剰は販売管理でないとしたらそれは青春ドラマでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この社会的余剰は文書類であるけれど販売管理でない
事実2: この社会的余剰は紙屑でない
事実3: その血糖値は青春ドラマである
事実4: この社会的余剰はぎこちない
事実5: もし仮になにがしかのものが肥大化しなくて販売管理だということはないならばそれは文書類だ
事実6: もし仮にこの社会的余剰が販売管理でない一方でそれが青春ドラマだとするとこの亜種は青春ドラマでない
事実7: 仮にあるものは販売管理でないとしたら青春ドラマであるということはない
事実8: この部分的拒否は販売管理だ

仮説: この社会的余剰は青春ドラマである
1. 事実1から、推論1: "この社会的余剰は販売管理でない"が導かれる
2. 事実7から、推論2: "この社会的余剰は販売管理でないとしたらそれは青春ドラマでない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。