ぴちゃぴのLv.23事件が起きる
fact1: 「ぴちょぴよLv.99事件が生じるけれどめんど臭いということは発生しない」ということはみわみねLv.45事件は発生しないということを阻む fact2: みわみねLv.45事件と御美しいということが起こるは「めんど臭いということは生じない」ということに由来する fact3: ぽにょぽゆLv.79事件とみえみわLv.20事件が起きる fact4: めんど臭いということはぴちゃぴのLv.23事件は生じないということを阻む fact5: みわみねLv.45事件とめんど臭いということが起きる fact6: みいみなLv.81事件が起こる
fact5 -> int1: 「めんど臭いということが発生する」ということは事実である; int1 & fact4 -> hypothesis;
fact5 -> int1: {B}; int1 & fact4 -> hypothesis;
ぴちゃぴのLv.23事件は起こらない
$facts$ = fact1: 「ぴちょぴよLv.99事件が生じるけれどめんど臭いということは発生しない」ということはみわみねLv.45事件は発生しないということを阻む fact2: みわみねLv.45事件と御美しいということが起こるは「めんど臭いということは生じない」ということに由来する fact3: ぽにょぽゆLv.79事件とみえみわLv.20事件が起きる fact4: めんど臭いということはぴちゃぴのLv.23事件は生じないということを阻む fact5: みわみねLv.45事件とめんど臭いということが起きる fact6: みいみなLv.81事件が起こる ; $hypothesis$ = ぴちゃぴのLv.23事件が起きる ; $proof$ = 
fact5 -> int1: 「めんど臭いということが発生する」ということは事実である; int1 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 & fact4 -> hypothesis; __PROVED__