「「ドラマ化することは発生するし更にまにゃまちゅLv.37事件は発生する」ということは嘘だ」ということは成り立つ
fact1: まにゃまちゅLv.37事件が起きる fact2: 「ぷやぷにゅLv.89事件が生じる一方で勇むことは起きない」ということは「子供っぽいということが起きる」ということを回避する fact3: 「まいまゆLv.74事件は起こらない」ということは御美しいということとドラマ化することが発生するを発生させる fact4: 合い難いということが起こる fact5: ドラマ化することとまいまゆLv.74事件どちらもが発生する fact6: みちゃみゆLv.85事件が起こる fact7: もしも「子供っぽいということは発生しない」ということは成り立つとすれば「まにゃまちゅLv.37事件ではなくまいまゆLv.74事件が起きる」ということは誤りだ
fact5 -> int1: ドラマ化することが起こる; int1 & fact1 -> hypothesis;
fact5 -> int1: {A}; int1 & fact1 -> hypothesis;
御美しいということが生じる
$facts$ = fact1: まにゃまちゅLv.37事件が起きる fact2: 「ぷやぷにゅLv.89事件が生じる一方で勇むことは起きない」ということは「子供っぽいということが起きる」ということを回避する fact3: 「まいまゆLv.74事件は起こらない」ということは御美しいということとドラマ化することが発生するを発生させる fact4: 合い難いということが起こる fact5: ドラマ化することとまいまゆLv.74事件どちらもが発生する fact6: みちゃみゆLv.85事件が起こる fact7: もしも「子供っぽいということは発生しない」ということは成り立つとすれば「まにゃまちゅLv.37事件ではなくまいまゆLv.74事件が起きる」ということは誤りだ ; $hypothesis$ = 「「ドラマ化することは発生するし更にまにゃまちゅLv.37事件は発生する」ということは嘘だ」ということは成り立つ ; $proof$ = 
fact5 -> int1: ドラマ化することが起こる; int1 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact1 -> hypothesis; __DISPROVED__