みくみちゃLv.49事件は発生しない
fact1: まゆまやLv.50事件が生じる fact2: 「みくみちゃLv.49事件は生じない」ということは「まゆまやLv.50事件と誤認することどちらもが起きる」ということが契機だ fact3: 「誤認することが起こる」ということは成り立つ fact4: 「みくみちゃLv.49事件とまゆまやLv.50事件が発生する」ということは誤認することは生じないということに起因する fact5: まよまいLv.88事件が生じないならば誤認することは起こらないしぽにぽにゅLv.53事件が起こる fact6: 「厳しいということと宜しいということが起きる」ということは真実である
fact1 & fact3 -> int1: まゆまやLv.50事件と誤認することどちらもが発生する; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
みくみちゃLv.49事件が起きる
$facts$ = fact1: まゆまやLv.50事件が生じる fact2: 「みくみちゃLv.49事件は生じない」ということは「まゆまやLv.50事件と誤認することどちらもが起きる」ということが契機だ fact3: 「誤認することが起こる」ということは成り立つ fact4: 「みくみちゃLv.49事件とまゆまやLv.50事件が発生する」ということは誤認することは生じないということに起因する fact5: まよまいLv.88事件が生じないならば誤認することは起こらないしぽにぽにゅLv.53事件が起こる fact6: 「厳しいということと宜しいということが起きる」ということは真実である ; $hypothesis$ = みくみちゃLv.49事件は発生しない ; $proof$ = 
fact1 & fact3 -> int1: まゆまやLv.50事件と誤認することどちらもが発生する; int1 & fact2 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __PROVED__