「あの被害者達が堪え得るならあの纏めは殺せる」ということは誤っている
fact1: あの被害者達は殺せる fact2: 「堪え得る」ものはある fact3: もしもあの纏めが説得出来るならばあの魔力は殺せる fact4: もしも「二十一セルで堪え得る」物があるならあの纏めは殺せる fact5: その魔力は説得出来るかもしくは去らないかもしくはどちらもである fact6: もし仮に「その魔力は去らない」ということは確かならばあの被害者達は二十一セルだ fact7: そのポイエシスは殺せる fact8: 仮にその魔力が説得出来るとするとあの被害者達は二十一セルだ fact9: あの被害者達は去る fact10: あるものは二十一セルだ
fact5 & fact8 & fact6 -> int1: あの被害者達は二十一セルだ; void -> assump1: 以下のように仮定する。あの被害者達は堪え得る; int1 & assump1 -> int2: あの被害者達は二十一セルであるしかつ堪え得る; int2 -> int3: あるものは二十一セルであるしおまけに堪え得る; int3 & fact4 -> int4: 「あの纏めは殺せる」ということは真実である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: あの被害者達は殺せる fact2: 「堪え得る」ものはある fact3: もしもあの纏めが説得出来るならばあの魔力は殺せる fact4: もしも「二十一セルで堪え得る」物があるならあの纏めは殺せる fact5: その魔力は説得出来るかもしくは去らないかもしくはどちらもである fact6: もし仮に「その魔力は去らない」ということは確かならばあの被害者達は二十一セルだ fact7: そのポイエシスは殺せる fact8: 仮にその魔力が説得出来るとするとあの被害者達は二十一セルだ fact9: あの被害者達は去る fact10: あるものは二十一セルだ ; $hypothesis$ = 「あの被害者達が堪え得るならあの纏めは殺せる」ということは誤っている ; $proof$ = 
fact5 & fact8 & fact6 -> int1: あの被害者達は二十一セルだ; void -> assump1: 以下のように仮定する。あの被害者達は堪え得る; int1 & assump1 -> int2: あの被害者達は二十一セルであるしかつ堪え得る; int2 -> int3: あるものは二十一セルであるしおまけに堪え得る; int3 & fact4 -> int4: 「あの纏めは殺せる」ということは真実である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの被害者達は殺せる
事実2: 「堪え得る」ものはある
事実3: もしもあの纏めが説得出来るならばあの魔力は殺せる
事実4: もしも「二十一セルで堪え得る」物があるならあの纏めは殺せる
事実5: その魔力は説得出来るかもしくは去らないかもしくはどちらもである
事実6: もし仮に「その魔力は去らない」ということは確かならばあの被害者達は二十一セルだ
事実7: そのポイエシスは殺せる
事実8: 仮にその魔力が説得出来るとするとあの被害者達は二十一セルだ
事実9: あの被害者達は去る
事実10: あるものは二十一セルだ

仮説: 「あの被害者達が堪え得るならあの纏めは殺せる」ということは誤っている
1. 事実5と事実8と事実6から、推論1: "あの被害者達は二十一セルだ"が導かれる
2. 仮定1: 以下のように仮定する。あの被害者達は堪え得る
3. 推論1と仮定1から、推論2: "あの被害者達は二十一セルであるしかつ堪え得る"が導かれる
4. 推論2から、推論3: "あるものは二十一セルであるしおまけに堪え得る"が導かれる
5. 推論3と事実4から、推論4: "「あの纏めは殺せる」ということは真実である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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