「この力源は厳めしいし領得する」ということは成り立たない
fact1: あの鏡地獄が独り言するということはないとしたらこの力源は読み返すしディコードする fact2: この和光堂事件が発売後だしそれは厳めしい fact3: もしもとある物は死に行かないけど厳めしいとするとそれは領得しない fact4: この泥棒は耐食性でない fact5: もし仮になんらかのものが耐食性でないとすればそれは久しくておまけに語り終える fact6: あらゆるものは厳めしいしかつ領得する fact7: 仮にこの泥棒が語り終えるけど領得しないとするとこの力源は語り終える
fact6 -> hypothesis;
fact6 -> hypothesis;
この力源は語り終えるしそれは読み返す
fact9 -> int1: 仮にこの泥棒が耐食性でないとすれば久しいしさらにそれは語り終える; int1 & fact12 -> int2: この泥棒は久しくて語り終える; int2 -> int3: この泥棒は語り終える; fact10 -> int4: もし仮にこの泥棒が死に行かないが厳めしいとすればそれは領得しない;
$facts$ = fact1: あの鏡地獄が独り言するということはないとしたらこの力源は読み返すしディコードする fact2: この和光堂事件が発売後だしそれは厳めしい fact3: もしもとある物は死に行かないけど厳めしいとするとそれは領得しない fact4: この泥棒は耐食性でない fact5: もし仮になんらかのものが耐食性でないとすればそれは久しくておまけに語り終える fact6: あらゆるものは厳めしいしかつ領得する fact7: 仮にこの泥棒が語り終えるけど領得しないとするとこの力源は語り終える ; $hypothesis$ = 「この力源は厳めしいし領得する」ということは成り立たない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: あの鏡地獄が独り言するということはないとしたらこの力源は読み返すしディコードする
事実2: この和光堂事件が発売後だしそれは厳めしい
事実3: もしもとある物は死に行かないけど厳めしいとするとそれは領得しない
事実4: この泥棒は耐食性でない
事実5: もし仮になんらかのものが耐食性でないとすればそれは久しくておまけに語り終える
事実6: あらゆるものは厳めしいしかつ領得する
事実7: 仮にこの泥棒が語り終えるけど領得しないとするとこの力源は語り終える

仮説: 「この力源は厳めしいし領得する」ということは成り立たない
1. 事実6から、仮説が否定される

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