まよまにゃLv.28事件が発生する
fact1: もしももくもなLv.67事件が発生しないなら影響され易いということは発生しないかまたはまよまにゃLv.28事件は発生するかまたは両方ともである fact2: 仮に取り扱い易いということは発生しないならば「影響され易いということは起こらないしかつまよまにゃLv.28事件は発生しない」ということは事実と異なる fact3: 若しということが生じる fact4: 「影響され易いということともくもなLv.67事件が起こる」ということはまよまにゃLv.28事件は起きないということをもたらす fact5: 若しということと取り扱い易いということ両方ともが発生する fact6: 差し出がましいということは起こらない fact7: 影響され易いということは起こらないということは取り扱い易いということに防がれる fact8: もくもなLv.67事件が起こる fact9: みにゅみよLv.30事件が起こる
fact5 -> int1: 取り扱い易いということが起きる; fact7 & int1 -> int2: 影響され易いということが発生する; int2 & fact8 -> int3: 影響され易いということが起きるしまたもくもなLv.67事件が発生する; int3 & fact4 -> hypothesis;
fact5 -> int1: {A}; fact7 & int1 -> int2: {B}; int2 & fact8 -> int3: ({B} & {C}); int3 & fact4 -> hypothesis;
馳せ参ずることは起こらない
$facts$ = fact1: もしももくもなLv.67事件が発生しないなら影響され易いということは発生しないかまたはまよまにゃLv.28事件は発生するかまたは両方ともである fact2: 仮に取り扱い易いということは発生しないならば「影響され易いということは起こらないしかつまよまにゃLv.28事件は発生しない」ということは事実と異なる fact3: 若しということが生じる fact4: 「影響され易いということともくもなLv.67事件が起こる」ということはまよまにゃLv.28事件は起きないということをもたらす fact5: 若しということと取り扱い易いということ両方ともが発生する fact6: 差し出がましいということは起こらない fact7: 影響され易いということは起こらないということは取り扱い易いということに防がれる fact8: もくもなLv.67事件が起こる fact9: みにゅみよLv.30事件が起こる ; $hypothesis$ = まよまにゃLv.28事件が発生する ; $proof$ = 
fact5 -> int1: 取り扱い易いということが起きる; fact7 & int1 -> int2: 影響され易いということが発生する; int2 & fact8 -> int3: 影響され易いということが起きるしまたもくもなLv.67事件が発生する; int3 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; fact7 & int1 -> int2: {B}; int2 & fact8 -> int3: ({B} & {C}); int3 & fact4 -> hypothesis; __DISPROVED__