「まやまにょLv.91事件が発生するかまたはものもにゃLv.45事件が起きるかもしくは両方だ」ということは成り立たない
fact1: 「説明し難いということが起こる」ということは厭わしいということが契機である fact2: 「まやまにょLv.91事件は起きない」ということは選択され易いということに阻止される fact3: 「録画することは発生しない」ということは「書き直せることが起こるし更に所狭しということが起きる」ということを招く fact4: もし仮に見境無いということは発生しないとするとロスすることが生じるしかつ選択され易いということが起きる fact5: 「厭わしいということは起きない」ということは書き直せることに阻止される fact6: 見境無いということは「説明し難いということが発生する」ということに誘発される fact7: 見境無いということは起こらない fact8: もしも選択され易いということは生じないとすれば得易いということが発生するし更にロスすることが起きる
fact7 & fact4 -> int1: 「ロスすることおよび選択され易いということ両方が起きる」ということは本当である; int1 -> int2: 選択され易いということが起きる; int2 & fact2 -> int3: まやまにょLv.91事件が発生する; int3 -> hypothesis;
fact7 & fact4 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: {C}; int3 -> hypothesis;
得易いということが生じる
$facts$ = fact1: 「説明し難いということが起こる」ということは厭わしいということが契機である fact2: 「まやまにょLv.91事件は起きない」ということは選択され易いということに阻止される fact3: 「録画することは発生しない」ということは「書き直せることが起こるし更に所狭しということが起きる」ということを招く fact4: もし仮に見境無いということは発生しないとするとロスすることが生じるしかつ選択され易いということが起きる fact5: 「厭わしいということは起きない」ということは書き直せることに阻止される fact6: 見境無いということは「説明し難いということが発生する」ということに誘発される fact7: 見境無いということは起こらない fact8: もしも選択され易いということは生じないとすれば得易いということが発生するし更にロスすることが起きる ; $hypothesis$ = 「まやまにょLv.91事件が発生するかまたはものもにゃLv.45事件が起きるかもしくは両方だ」ということは成り立たない ; $proof$ = 
fact7 & fact4 -> int1: 「ロスすることおよび選択され易いということ両方が起きる」ということは本当である; int1 -> int2: 選択され易いということが起きる; int2 & fact2 -> int3: まやまにょLv.91事件が発生する; int3 -> hypothesis; __DISPROVED__
fact7 & fact4 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: {C}; int3 -> hypothesis; __DISPROVED__