連想し易いということが生じる
fact1: 「まねまちゅLv.32事件および連想し易いということ両方ともが生じる」ということは「性交することは起きない」ということに由来する fact2: もにゃもくLv.46事件が起こる fact3: 連想し易いということは「もにゃもくLv.46事件および性交すること両方が起こる」ということに阻まれる fact4: まねまちゅLv.32事件が発生する fact5: まねまちゅLv.32事件と性交することが発生する
fact5 -> int1: 性交することが起きる; int1 & fact2 -> int2: もにゃもくLv.46事件が発生するしかつ性交することが起きる; int2 & fact3 -> hypothesis;
fact5 -> int1: {B}; int1 & fact2 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis;
連想し易いということが生じる
$facts$ = fact1: 「まねまちゅLv.32事件および連想し易いということ両方ともが生じる」ということは「性交することは起きない」ということに由来する fact2: もにゃもくLv.46事件が起こる fact3: 連想し易いということは「もにゃもくLv.46事件および性交すること両方が起こる」ということに阻まれる fact4: まねまちゅLv.32事件が発生する fact5: まねまちゅLv.32事件と性交することが発生する ; $hypothesis$ = 連想し易いということが生じる ; $proof$ = 
fact5 -> int1: 性交することが起きる; int1 & fact2 -> int2: もにゃもくLv.46事件が発生するしかつ性交することが起きる; int2 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}; int1 & fact2 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis; __DISPROVED__