上がることが生じる
fact1: もし仮に「易しいということと御収め下さること両方ともが起きる」ということは偽であるとしたら「御収め下さることは生じない」ということは間違っていない fact2: 「まにまにょLv.44事件は発生しない」ということかもしくはぴいぴくLv.32事件はまにまにょLv.44事件を阻止する fact3: 「恙無いということは発生するしまにまにょLv.44事件は発生する」ということは「上がることは発生しない」ということのきっかけとなる fact4: 恙無いということが発生する fact5: もしも御収め下さることは発生しないならばぴいぴくLv.32事件および恙無いということが起こる fact6: 「まにまにょLv.44事件は生じない」ということはまなまやLv.64事件に阻止される fact7: まなまやLv.64事件が生じる
fact6 & fact7 -> int1: まにまにょLv.44事件が発生する; int1 & fact4 -> int2: 恙無いということとまにまにょLv.44事件両方が起こる; int2 & fact3 -> hypothesis;
fact6 & fact7 -> int1: {B}; int1 & fact4 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis;
上がることが生じる
$facts$ = fact1: もし仮に「易しいということと御収め下さること両方ともが起きる」ということは偽であるとしたら「御収め下さることは生じない」ということは間違っていない fact2: 「まにまにょLv.44事件は発生しない」ということかもしくはぴいぴくLv.32事件はまにまにょLv.44事件を阻止する fact3: 「恙無いということは発生するしまにまにょLv.44事件は発生する」ということは「上がることは発生しない」ということのきっかけとなる fact4: 恙無いということが発生する fact5: もしも御収め下さることは発生しないならばぴいぴくLv.32事件および恙無いということが起こる fact6: 「まにまにょLv.44事件は生じない」ということはまなまやLv.64事件に阻止される fact7: まなまやLv.64事件が生じる ; $hypothesis$ = 上がることが生じる ; $proof$ = 
fact6 & fact7 -> int1: まにまにょLv.44事件が発生する; int1 & fact4 -> int2: 恙無いということとまにまにょLv.44事件両方が起こる; int2 & fact3 -> hypothesis; __DISPROVED__
fact6 & fact7 -> int1: {B}; int1 & fact4 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis; __DISPROVED__