進み易いということが起こる
fact1: 戦慄すことは「ぽえぽわLv.64事件は生じない」ということを阻止する fact2: 進み易いということは「抗し難いということと馳せること両方が発生する」ということに阻まれる fact3: ぴにゅぴゆLv.40事件かまたはもやもにLv.93事件かあるいは両方ともが起きる fact4: 「「追求し続けることと馳せることが生じる」ということは誤っている」ということは確かだとすると馳せることは起こらない fact5: 「抗し難いということは起こらない」ということはもやもにLv.93事件に防がれる fact6: 「馳せることが起こる」ということは確かである fact7: 抗し難いということはぴにゅぴゆLv.40事件がきっかけである fact8: もし馳せることは起きないとしたらもやもにLv.93事件ではなく抗し難いということが起こる
fact3 & fact7 & fact5 -> int1: 「抗し難いということが生じる」ということは成り立つ; int1 & fact6 -> int2: 抗し難いということと馳せることどちらもが発生する; int2 & fact2 -> hypothesis;
fact3 & fact7 & fact5 -> int1: {C}; int1 & fact6 -> int2: ({C} & {D}); int2 & fact2 -> hypothesis;
進み易いということが起こる
$facts$ = fact1: 戦慄すことは「ぽえぽわLv.64事件は生じない」ということを阻止する fact2: 進み易いということは「抗し難いということと馳せること両方が発生する」ということに阻まれる fact3: ぴにゅぴゆLv.40事件かまたはもやもにLv.93事件かあるいは両方ともが起きる fact4: 「「追求し続けることと馳せることが生じる」ということは誤っている」ということは確かだとすると馳せることは起こらない fact5: 「抗し難いということは起こらない」ということはもやもにLv.93事件に防がれる fact6: 「馳せることが起こる」ということは確かである fact7: 抗し難いということはぴにゅぴゆLv.40事件がきっかけである fact8: もし馳せることは起きないとしたらもやもにLv.93事件ではなく抗し難いということが起こる ; $hypothesis$ = 進み易いということが起こる ; $proof$ = 
fact3 & fact7 & fact5 -> int1: 「抗し難いということが生じる」ということは成り立つ; int1 & fact6 -> int2: 抗し難いということと馳せることどちらもが発生する; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact7 & fact5 -> int1: {C}; int1 & fact6 -> int2: ({C} & {D}); int2 & fact2 -> hypothesis; __DISPROVED__