その分権改革は各種委員会だということはない
fact1: 仮に「あのデスウは環境下であるということはなくて広がり難くない」ということは間違っているならその分権改革は傾き過ぎる fact2: 「「あのデスウは環境下でないし更に広がり難くない」ということは間違っている」ということは成り立つ fact3: とあるものが内臓するとしたらそれはやくざっぽくないが傾き過ぎる fact4: なにかは広がり難い fact5: 「内臓する」ものがあるとするとその分権改革はやくざっぽくない fact6: 何かは内臓する fact7: 「あのデスウは環境下でないが広がり難い」ということは成り立たない fact8: もしも何かは傾き過ぎるがやくざっぽくないとすれば各種委員会である
fact1 & fact2 -> int1: 「その分権改革は傾き過ぎる」ということは真実だ; fact6 & fact5 -> int2: その分権改革はやくざっぽくない; int1 & int2 -> int3: その分権改革は傾き過ぎるがそれはやくざっぽくない; fact8 -> int4: もしもその分権改革は傾き過ぎる一方でやくざっぽくないならば各種委員会である; int3 & int4 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; fact6 & fact5 -> int2: ¬{A}{b}; int1 & int2 -> int3: ({B}{b} & ¬{A}{b}); fact8 -> int4: ({B}{b} & ¬{A}{b}) -> {C}{b}; int3 & int4 -> hypothesis;
その分権改革は各種委員会でない
fact9 -> int5: もし仮にあのデスウが内臓するとするとそれはやくざっぽくないしその上それは傾き過ぎる;
$facts$ = fact1: 仮に「あのデスウは環境下であるということはなくて広がり難くない」ということは間違っているならその分権改革は傾き過ぎる fact2: 「「あのデスウは環境下でないし更に広がり難くない」ということは間違っている」ということは成り立つ fact3: とあるものが内臓するとしたらそれはやくざっぽくないが傾き過ぎる fact4: なにかは広がり難い fact5: 「内臓する」ものがあるとするとその分権改革はやくざっぽくない fact6: 何かは内臓する fact7: 「あのデスウは環境下でないが広がり難い」ということは成り立たない fact8: もしも何かは傾き過ぎるがやくざっぽくないとすれば各種委員会である ; $hypothesis$ = その分権改革は各種委員会だということはない ; $proof$ = 
fact1 & fact2 -> int1: 「その分権改革は傾き過ぎる」ということは真実だ; fact6 & fact5 -> int2: その分権改革はやくざっぽくない; int1 & int2 -> int3: その分権改革は傾き過ぎるがそれはやくざっぽくない; fact8 -> int4: もしもその分権改革は傾き過ぎる一方でやくざっぽくないならば各種委員会である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に「あのデスウは環境下であるということはなくて広がり難くない」ということは間違っているならその分権改革は傾き過ぎる
事実2: 「「あのデスウは環境下でないし更に広がり難くない」ということは間違っている」ということは成り立つ
事実3: とあるものが内臓するとしたらそれはやくざっぽくないが傾き過ぎる
事実4: なにかは広がり難い
事実5: 「内臓する」ものがあるとするとその分権改革はやくざっぽくない
事実6: 何かは内臓する
事実7: 「あのデスウは環境下でないが広がり難い」ということは成り立たない
事実8: もしも何かは傾き過ぎるがやくざっぽくないとすれば各種委員会である

仮説: その分権改革は各種委員会だということはない
1. 事実1と事実2から、推論1: "「その分権改革は傾き過ぎる」ということは真実だ"が導かれる
2. 事実6と事実5から、推論2: "その分権改革はやくざっぽくない"が導かれる
3. 推論1と推論2から、推論3: "その分権改革は傾き過ぎるがそれはやくざっぽくない"が導かれる
4. 事実8から、推論4: "もしもその分権改革は傾き過ぎる一方でやくざっぽくないならば各種委員会である"が導かれる
5. 推論3と推論4から、仮説が否定される

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