みいみにゅLv.90事件は生じない
fact1: ぽやぽちゃLv.50事件が発生するということはみいみにゅLv.90事件が生じるということを招く fact2: 生まれ難いということが起こるがしかしみいみにゅLv.90事件は発生しない
fact2 -> int1: 生まれ難いということが起こるがしかしみいみにゅLv.90事件は発生しない; int1 -> hypothesis;
fact2 -> int1: ({AA} & ¬{AB}); int1 -> hypothesis;
「みいみにゅLv.90事件が起きる」ということは本当だ
$facts$ = fact1: ぽやぽちゃLv.50事件が発生するということはみいみにゅLv.90事件が生じるということを招く fact2: 生まれ難いということが起こるがしかしみいみにゅLv.90事件は発生しない ; $hypothesis$ = みいみにゅLv.90事件は生じない ; $proof$ = 
fact2 -> int1: 生まれ難いということが起こるがしかしみいみにゅLv.90事件は発生しない; int1 -> hypothesis; __PROVED__
fact2 -> int1: ({AA} & ¬{AB}); int1 -> hypothesis; __PROVED__