みにゃみやLv.13事件は発生しない
fact1: 「みにゃみやLv.13事件は受け為さることにより発生する」ということは真実である fact2: 久しいということは発生しない fact3: 久しいということは起こらないならば受け為さることが起きる fact4: もし仮に「目新しいということは発生しない」ということは真実だとすると「勿体無いということとみにゃみやLv.13事件両方が生じる」ということは誤りである
fact3 & fact2 -> int1: 受け為さることが起こる; int1 & fact1 -> hypothesis;
fact3 & fact2 -> int1: {B}; int1 & fact1 -> hypothesis;
ぷちゅぷなLv.28事件は起こらない
$facts$ = fact1: 「みにゃみやLv.13事件は受け為さることにより発生する」ということは真実である fact2: 久しいということは発生しない fact3: 久しいということは起こらないならば受け為さることが起きる fact4: もし仮に「目新しいということは発生しない」ということは真実だとすると「勿体無いということとみにゃみやLv.13事件両方が生じる」ということは誤りである ; $hypothesis$ = みにゃみやLv.13事件は発生しない ; $proof$ = 
fact3 & fact2 -> int1: 受け為さることが起こる; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {B}; int1 & fact1 -> hypothesis; __DISPROVED__