みのみにLv.28事件が起きる
fact1: 生え易いということが起こるし更にぽにゅぽいLv.64事件が起こる fact2: 仮に生え易いということが起こるとするとまにゃまよLv.73事件が生じる fact3: もしも「まやまちょLv.25事件が生じるししかも目敏いということが生じる」ということは偽ならみのみにLv.28事件は発生しない fact4: まちょまえLv.39事件は発生しないとすると「まやまちょLv.25事件と目敏いということが起きる」ということは間違いだ fact5: ぴいぴにゅLv.6事件が起きる fact6: 「みのみにLv.28事件は発生しなくてその上生え易いということは生じない」ということは「ぽにゅぽいLv.64事件は生じない」ということに誘発される fact7: ぽにゅぽいLv.64事件はみのみにLv.28事件を誘発する
fact1 -> int1: ぽにゅぽいLv.64事件が起きる; int1 & fact7 -> hypothesis;
fact1 -> int1: {B}; int1 & fact7 -> hypothesis;
みのみにLv.28事件は起きない
$facts$ = fact1: 生え易いということが起こるし更にぽにゅぽいLv.64事件が起こる fact2: 仮に生え易いということが起こるとするとまにゃまよLv.73事件が生じる fact3: もしも「まやまちょLv.25事件が生じるししかも目敏いということが生じる」ということは偽ならみのみにLv.28事件は発生しない fact4: まちょまえLv.39事件は発生しないとすると「まやまちょLv.25事件と目敏いということが起きる」ということは間違いだ fact5: ぴいぴにゅLv.6事件が起きる fact6: 「みのみにLv.28事件は発生しなくてその上生え易いということは生じない」ということは「ぽにゅぽいLv.64事件は生じない」ということに誘発される fact7: ぽにゅぽいLv.64事件はみのみにLv.28事件を誘発する ; $hypothesis$ = みのみにLv.28事件が起きる ; $proof$ = 
fact1 -> int1: ぽにゅぽいLv.64事件が起きる; int1 & fact7 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact7 -> hypothesis; __PROVED__