「あの記・紀は爆発する」ということは事実だ
fact1: 仮に「放映する」物があるとするとその不平不満は調停するかまたは侘しくないかあるいは両方ともだ fact2: 「あの組織的関係は進み易いしおまけに動かし難い」ということは成り立つということはない fact3: もしなにかは進み易いが使い難くないとしたら健やかさでない fact4: 「健やかさである」物はある fact5: あの記・紀が使い難くないとすればそれは爆発しない fact6: もしもある物が使い難くないならそれは進み易いしおまけにそれは動かし難い fact7: もし何らかの物は調停するかもしくは侘しくないかまたはどちらもであるとしたらそれは調停する fact8: 「調停する」ものはあれば「あの記・紀は大差無いし弁済する」ということは嘘だ fact9: あの組織的関係が爆発するならばあの払い込み価額は爆発する fact10: もし仮に「「大差無くて弁済する」ということは成り立つということはない」物があるとするとあの組織的関係は爆発する fact11: もしも「あの組織的関係は進み易くない一方で動かし難い」ということは嘘ならあの記・紀は使い難くない fact12: もしなんらかのものは健やかさでないなら「それは一致さないけど動かし難い」ということは嘘だ fact13: その各県は放映する fact14: 仮に「健やかさな」物はあるとすれば「あの組織的関係は進み易くない一方で動かし難い」ということは間違いだ fact15: もしもあの組織的関係が進み易いならばあの記・紀は使い難くない fact16: 「健やかさである」ものはあるとすれば「あの組織的関係は進み易くてそれに動かし難い」ということは誤りである fact17: あの組織的関係が進み易いとすればあの記・紀は進み易いということはない
fact4 & fact14 -> int1: 「あの組織的関係は進み易いということはないがしかし動かし難い」ということは間違っている; int1 & fact11 -> int2: あの記・紀は使い難いということはない; int2 & fact5 -> hypothesis;
fact4 & fact14 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact11 -> int2: ¬{D}{b}; int2 & fact5 -> hypothesis;
あの記・紀は爆発する
fact18 -> int3: もしあの組織的関係が使い難くないとしたら進み易くてさらに動かし難い;
$facts$ = fact1: 仮に「放映する」物があるとするとその不平不満は調停するかまたは侘しくないかあるいは両方ともだ fact2: 「あの組織的関係は進み易いしおまけに動かし難い」ということは成り立つということはない fact3: もしなにかは進み易いが使い難くないとしたら健やかさでない fact4: 「健やかさである」物はある fact5: あの記・紀が使い難くないとすればそれは爆発しない fact6: もしもある物が使い難くないならそれは進み易いしおまけにそれは動かし難い fact7: もし何らかの物は調停するかもしくは侘しくないかまたはどちらもであるとしたらそれは調停する fact8: 「調停する」ものはあれば「あの記・紀は大差無いし弁済する」ということは嘘だ fact9: あの組織的関係が爆発するならばあの払い込み価額は爆発する fact10: もし仮に「「大差無くて弁済する」ということは成り立つということはない」物があるとするとあの組織的関係は爆発する fact11: もしも「あの組織的関係は進み易くない一方で動かし難い」ということは嘘ならあの記・紀は使い難くない fact12: もしなんらかのものは健やかさでないなら「それは一致さないけど動かし難い」ということは嘘だ fact13: その各県は放映する fact14: 仮に「健やかさな」物はあるとすれば「あの組織的関係は進み易くない一方で動かし難い」ということは間違いだ fact15: もしもあの組織的関係が進み易いならばあの記・紀は使い難くない fact16: 「健やかさである」ものはあるとすれば「あの組織的関係は進み易くてそれに動かし難い」ということは誤りである fact17: あの組織的関係が進み易いとすればあの記・紀は進み易いということはない ; $hypothesis$ = 「あの記・紀は爆発する」ということは事実だ ; $proof$ = 
fact4 & fact14 -> int1: 「あの組織的関係は進み易いということはないがしかし動かし難い」ということは間違っている; int1 & fact11 -> int2: あの記・紀は使い難いということはない; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮に「放映する」物があるとするとその不平不満は調停するかまたは侘しくないかあるいは両方ともだ
事実2: 「あの組織的関係は進み易いしおまけに動かし難い」ということは成り立つということはない
事実3: もしなにかは進み易いが使い難くないとしたら健やかさでない
事実4: 「健やかさである」物はある
事実5: あの記・紀が使い難くないとすればそれは爆発しない
事実6: もしもある物が使い難くないならそれは進み易いしおまけにそれは動かし難い
事実7: もし何らかの物は調停するかもしくは侘しくないかまたはどちらもであるとしたらそれは調停する
事実8: 「調停する」ものはあれば「あの記・紀は大差無いし弁済する」ということは嘘だ
事実9: あの組織的関係が爆発するならばあの払い込み価額は爆発する
事実10: もし仮に「「大差無くて弁済する」ということは成り立つということはない」物があるとするとあの組織的関係は爆発する
事実11: もしも「あの組織的関係は進み易くない一方で動かし難い」ということは嘘ならあの記・紀は使い難くない
事実12: もしなんらかのものは健やかさでないなら「それは一致さないけど動かし難い」ということは嘘だ
事実13: その各県は放映する
事実14: 仮に「健やかさな」物はあるとすれば「あの組織的関係は進み易くない一方で動かし難い」ということは間違いだ
事実15: もしもあの組織的関係が進み易いならばあの記・紀は使い難くない
事実16: 「健やかさである」ものはあるとすれば「あの組織的関係は進み易くてそれに動かし難い」ということは誤りである
事実17: あの組織的関係が進み易いとすればあの記・紀は進み易いということはない

仮説: 「あの記・紀は爆発する」ということは事実だ
1. 事実4と事実14から、推論1: "「あの組織的関係は進み易いということはないがしかし動かし難い」ということは間違っている"が導かれる
2. 推論1と事実11から、推論2: "あの記・紀は使い難いということはない"が導かれる
3. 推論2と事実5から、仮説が否定される

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