もよものLv.28事件は生じない
fact1: もし仮に「見え易いということは発生しない」ということは事実であるならぴやぴよLv.16事件が起きるしその上まねまゆLv.49事件が起きる fact2: まのまにょLv.3事件はまねまゆLv.49事件をもたらす fact3: まちゅまよLv.15事件が発生しないということはもよものLv.28事件およびぴちゅぴなLv.37事件は発生するに帰結する fact4: まねまゆLv.49事件は「見え易いということが起きるけどぴちゅぴなLv.37事件は発生しない」ということに阻止される fact5: 見え易いということが起きる fact6: まのまにょLv.3事件が起こる fact7: 出店することが起こる fact8: 「まねまゆLv.49事件と見え易いということが起きる」ということはもよものLv.28事件は生じないということを発生させる
fact2 & fact6 -> int1: まねまゆLv.49事件が発生する; int1 & fact5 -> int2: まねまゆLv.49事件が生じるし見え易いということが起きる; int2 & fact8 -> hypothesis;
fact2 & fact6 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact8 -> hypothesis;
「ぽにょぽにLv.12事件が起きる」ということは本当だ
$facts$ = fact1: もし仮に「見え易いということは発生しない」ということは事実であるならぴやぴよLv.16事件が起きるしその上まねまゆLv.49事件が起きる fact2: まのまにょLv.3事件はまねまゆLv.49事件をもたらす fact3: まちゅまよLv.15事件が発生しないということはもよものLv.28事件およびぴちゅぴなLv.37事件は発生するに帰結する fact4: まねまゆLv.49事件は「見え易いということが起きるけどぴちゅぴなLv.37事件は発生しない」ということに阻止される fact5: 見え易いということが起きる fact6: まのまにょLv.3事件が起こる fact7: 出店することが起こる fact8: 「まねまゆLv.49事件と見え易いということが起きる」ということはもよものLv.28事件は生じないということを発生させる ; $hypothesis$ = もよものLv.28事件は生じない ; $proof$ = 
fact2 & fact6 -> int1: まねまゆLv.49事件が発生する; int1 & fact5 -> int2: まねまゆLv.49事件が生じるし見え易いということが起きる; int2 & fact8 -> hypothesis; __PROVED__
fact2 & fact6 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact8 -> hypothesis; __PROVED__