みちゃみやLv.27事件は起こらない
fact1: エロいということが発生する fact2: まよまやLv.13事件は「堪り易いということが起こるしブランドらしいということは起こらない」ということに阻止される fact3: まよまやLv.13事件が発生する fact4: もしみちゃみやLv.27事件は生じないとしたら「まよまやLv.13事件ではなくぽやぽゆLv.17事件が生じる」ということは嘘だ fact5: 「「まよまやLv.13事件が発生しなくてみちゃみやLv.27事件は生じない」ということは真実だ」ということは「発揮し難いということは発生しない」ということが契機である fact6: 堪り易いということは起きないということは「みちゃみやLv.27事件は発生しない」ということを阻む fact7: もし仮に「堪り易いということが起こるがしかしブランドらしいということは発生しない」ということは間違いだとするとみちゃみやLv.27事件が生じる fact8: 「まよまやLv.13事件は起こらなくてぽやぽゆLv.17事件が起こる」ということは正しくないならばぽやぽゆLv.17事件は起きない
void -> assump1: 以下のように仮定する。堪り易いということが起きるしブランドらしいということは発生しない; fact2 & assump1 -> int1: まよまやLv.13事件は発生しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「堪り易いということが起こるけれどブランドらしいということは発生しない」ということは成り立たない」ということは成り立つ; int3 & fact7 -> hypothesis;
void -> assump1: ({AA} & ¬{AB}); fact2 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬({AA} & ¬{AB}); int3 & fact7 -> hypothesis;
みちゃみやLv.27事件は起こらない
$facts$ = fact1: エロいということが発生する fact2: まよまやLv.13事件は「堪り易いということが起こるしブランドらしいということは起こらない」ということに阻止される fact3: まよまやLv.13事件が発生する fact4: もしみちゃみやLv.27事件は生じないとしたら「まよまやLv.13事件ではなくぽやぽゆLv.17事件が生じる」ということは嘘だ fact5: 「「まよまやLv.13事件が発生しなくてみちゃみやLv.27事件は生じない」ということは真実だ」ということは「発揮し難いということは発生しない」ということが契機である fact6: 堪り易いということは起きないということは「みちゃみやLv.27事件は発生しない」ということを阻む fact7: もし仮に「堪り易いということが起こるがしかしブランドらしいということは発生しない」ということは間違いだとするとみちゃみやLv.27事件が生じる fact8: 「まよまやLv.13事件は起こらなくてぽやぽゆLv.17事件が起こる」ということは正しくないならばぽやぽゆLv.17事件は起きない ; $hypothesis$ = みちゃみやLv.27事件は起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。堪り易いということが起きるしブランドらしいということは発生しない; fact2 & assump1 -> int1: まよまやLv.13事件は発生しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「堪り易いということが起こるけれどブランドらしいということは発生しない」ということは成り立たない」ということは成り立つ; int3 & fact7 -> hypothesis; __DISPROVED__
void -> assump1: ({AA} & ¬{AB}); fact2 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬({AA} & ¬{AB}); int3 & fact7 -> hypothesis; __DISPROVED__