ぽにゃぽゆLv.79事件およびまにゃまちょLv.27事件が発生する
fact1: ぴよぴいLv.4事件が生じるしその上ぷねぷくLv.95事件が起きる fact2: 忍び難いということが起きる fact3: 「ぽにゃぽゆLv.79事件および小汚いということが発生する」ということはぷねぷいLv.95事件は生じないということに起因する fact4: ぽにゃぽゆLv.79事件とぷねぷいLv.95事件両方が起こる fact5: まにゃまちょLv.27事件が起きる fact6: 「吹っ切れることが起きる」ということは真実である
fact4 -> int1: ぽにゃぽゆLv.79事件が起こる; int1 & fact5 -> hypothesis;
fact4 -> int1: {A}; int1 & fact5 -> hypothesis;
小汚いということが起こる
$facts$ = fact1: ぴよぴいLv.4事件が生じるしその上ぷねぷくLv.95事件が起きる fact2: 忍び難いということが起きる fact3: 「ぽにゃぽゆLv.79事件および小汚いということが発生する」ということはぷねぷいLv.95事件は生じないということに起因する fact4: ぽにゃぽゆLv.79事件とぷねぷいLv.95事件両方が起こる fact5: まにゃまちょLv.27事件が起きる fact6: 「吹っ切れることが起きる」ということは真実である ; $hypothesis$ = ぽにゃぽゆLv.79事件およびまにゃまちょLv.27事件が発生する ; $proof$ = 
fact4 -> int1: ぽにゃぽゆLv.79事件が起こる; int1 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact5 -> hypothesis; __PROVED__