丸いということが発生する
fact1: ぷちゅぷにLv.70事件は「丸いということは生じない」ということを回避する fact2: 仮に止めど無いということは発生しないとしたらすこいということは生じないかあるいはぷちゅぷにLv.70事件は生じない fact3: 「まいまにゃLv.52事件が生じる」ということは事実だ fact4: ぴにゅぴよLv.51事件が起こる fact5: ぷちゅぷにLv.70事件が発生する fact6: 止めど無いということが起こるということは「ぽにゅぽにょLv.79事件は起こらなくておまけにまだるっこしいということは起きない」ということに阻まれる fact7: 通じ易いということが発生する
fact5 -> int1: ぷちゅぷにLv.70事件が発生する; int1 & fact1 -> hypothesis;
fact5 -> int1: {A}; int1 & fact1 -> hypothesis;
丸いということは起きない
$facts$ = fact1: ぷちゅぷにLv.70事件は「丸いということは生じない」ということを回避する fact2: 仮に止めど無いということは発生しないとしたらすこいということは生じないかあるいはぷちゅぷにLv.70事件は生じない fact3: 「まいまにゃLv.52事件が生じる」ということは事実だ fact4: ぴにゅぴよLv.51事件が起こる fact5: ぷちゅぷにLv.70事件が発生する fact6: 止めど無いということが起こるということは「ぽにゅぽにょLv.79事件は起こらなくておまけにまだるっこしいということは起きない」ということに阻まれる fact7: 通じ易いということが発生する ; $hypothesis$ = 丸いということが発生する ; $proof$ = 
fact5 -> int1: ぷちゅぷにLv.70事件が発生する; int1 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__