「あの超国家は痩せ難くないし更に悶うない」ということは成り立つということはない
fact1: 仮に「そのパンダは癒し難い」ということは真実なら猛々しいが三社権現でない fact2: そのパンダは纏めるしそれに承服する fact3: もし仮にそのパンダが悶うないならばあの超国家は痩せ難くないしかつ悶うということはない fact4: もしそのパンダは猛々しい一方で三社権現だということはないならばそれは悶うない fact5: もし「そのパンダは承服しない」ということは嘘であるとすれば「それは癒し難い」ということは正しい
fact2 -> int1: 「そのパンダは承服する」ということは本当だ; int1 & fact5 -> int2: そのパンダは癒し難い; int2 & fact1 -> int3: そのパンダは猛々しいけれどそれは三社権現でない; int3 & fact4 -> int4: そのパンダは悶うない; int4 & fact3 -> hypothesis;
$facts$ = fact1: 仮に「そのパンダは癒し難い」ということは真実なら猛々しいが三社権現でない fact2: そのパンダは纏めるしそれに承服する fact3: もし仮にそのパンダが悶うないならばあの超国家は痩せ難くないしかつ悶うということはない fact4: もしそのパンダは猛々しい一方で三社権現だということはないならばそれは悶うない fact5: もし「そのパンダは承服しない」ということは嘘であるとすれば「それは癒し難い」ということは正しい ; $hypothesis$ = 「あの超国家は痩せ難くないし更に悶うない」ということは成り立つということはない ; $proof$ = 
fact2 -> int1: 「そのパンダは承服する」ということは本当だ; int1 & fact5 -> int2: そのパンダは癒し難い; int2 & fact1 -> int3: そのパンダは猛々しいけれどそれは三社権現でない; int3 & fact4 -> int4: そのパンダは悶うない; int4 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮に「そのパンダは癒し難い」ということは真実なら猛々しいが三社権現でない
事実2: そのパンダは纏めるしそれに承服する
事実3: もし仮にそのパンダが悶うないならばあの超国家は痩せ難くないしかつ悶うということはない
事実4: もしそのパンダは猛々しい一方で三社権現だということはないならばそれは悶うない
事実5: もし「そのパンダは承服しない」ということは嘘であるとすれば「それは癒し難い」ということは正しい

仮説: 「あの超国家は痩せ難くないし更に悶うない」ということは成り立つということはない
1. 事実2から、推論1: "「そのパンダは承服する」ということは本当だ"が導かれる
2. 推論1と事実5から、推論2: "そのパンダは癒し難い"が導かれる
3. 推論2と事実1から、推論3: "そのパンダは猛々しいけれどそれは三社権現でない"が導かれる
4. 推論3と事実4から、推論4: "そのパンダは悶うない"が導かれる
5. 推論4と事実3から、仮説が否定される

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