戻り易いということが起きる
fact1: 判別し難いということが起こる fact2: 迷い難いということが生じる fact3: 「迷い難いということは発生するし更にもにゃもわLv.6事件は発生する」ということは成り立つ fact4: 戻り易いということは起こらないということはまのまにゅLv.44事件ともにゃもわLv.6事件が生じるに由来する fact5: もし仮にもにゃもわLv.6事件は発生しないとすれば戻り易いということおよび迷い難いということどちらもが生じる fact6: 「まのまにゅLv.44事件が起こる」ということは確かである
fact3 -> int1: もにゃもわLv.6事件が起こる; int1 & fact6 -> int2: まのまにゅLv.44事件およびもにゃもわLv.6事件が起きる; int2 & fact4 -> hypothesis;
fact3 -> int1: {B}; int1 & fact6 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis;
戻り易いということが起きる
$facts$ = fact1: 判別し難いということが起こる fact2: 迷い難いということが生じる fact3: 「迷い難いということは発生するし更にもにゃもわLv.6事件は発生する」ということは成り立つ fact4: 戻り易いということは起こらないということはまのまにゅLv.44事件ともにゃもわLv.6事件が生じるに由来する fact5: もし仮にもにゃもわLv.6事件は発生しないとすれば戻り易いということおよび迷い難いということどちらもが生じる fact6: 「まのまにゅLv.44事件が起こる」ということは確かである ; $hypothesis$ = 戻り易いということが起きる ; $proof$ = 
fact3 -> int1: もにゃもわLv.6事件が起こる; int1 & fact6 -> int2: まのまにゅLv.44事件およびもにゃもわLv.6事件が起きる; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact6 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis; __DISPROVED__