まねまちゅLv.54事件が発生する
fact1: もし展開し易いということは発生しないならば認定出来ることと拒否し続けること両方が生じる fact2: 認定出来ることが発生するならどす黒いということは生じなくて明滅することは起こらない fact3: 「まねまちゅLv.54事件および人間っぽいということどちらもが起きる」ということは「明滅することは起きない」ということに起因する fact4: 人間っぽいということおよび明滅すること両方が起きる fact5: どす黒いということが生じる fact6: 「物狂おしいということは発生しないし加えてアクセスし易いということは起きない」ということは成り立つということはないとすれば「展開し易いということは起こらない」ということは事実である fact7: 人間っぽいということが発生するしどす黒いということが生じるならまねまちゅLv.54事件は起きない
fact4 -> int1: 人間っぽいということが生じる; int1 & fact5 -> int2: 人間っぽいということが起きるし更にどす黒いということが起きる; int2 & fact7 -> hypothesis;
fact4 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact7 -> hypothesis;
まねまちゅLv.54事件が発生する
$facts$ = fact1: もし展開し易いということは発生しないならば認定出来ることと拒否し続けること両方が生じる fact2: 認定出来ることが発生するならどす黒いということは生じなくて明滅することは起こらない fact3: 「まねまちゅLv.54事件および人間っぽいということどちらもが起きる」ということは「明滅することは起きない」ということに起因する fact4: 人間っぽいということおよび明滅すること両方が起きる fact5: どす黒いということが生じる fact6: 「物狂おしいということは発生しないし加えてアクセスし易いということは起きない」ということは成り立つということはないとすれば「展開し易いということは起こらない」ということは事実である fact7: 人間っぽいということが発生するしどす黒いということが生じるならまねまちゅLv.54事件は起きない ; $hypothesis$ = まねまちゅLv.54事件が発生する ; $proof$ = 
fact4 -> int1: 人間っぽいということが生じる; int1 & fact5 -> int2: 人間っぽいということが起きるし更にどす黒いということが起きる; int2 & fact7 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact7 -> hypothesis; __DISPROVED__