ぽにゅぽやLv.26事件は起きない
fact1: 「ぴにぴちょLv.16事件が起こるしもくもにょLv.30事件が発生する」ということは読み易いということは生じないということを防ぐ fact2: 「読み易いということは発生しない」ということはぽにゅぽやLv.26事件および灌水することが発生するを生じさせる fact3: ぴにぴちょLv.16事件は発生する一方でもくもにょLv.30事件は起きない fact4: もくもにょLv.30事件は生じない fact5: 灌水することが起きる fact6: もし仮にぴにぴちょLv.16事件が起きるしもくもにょLv.30事件は発生しないなら読み易いということが起こる fact7: ぽにゅぽやLv.26事件は生じないということは読み易いということと灌水することが起こるが契機だ fact8: 腑甲斐無いということが生じるし踏み外すことは起きない fact9: もし仮に「改元することは発生しなくて更に可笑しということは発生しない」ということは誤っているとしたら読み易いということは発生しない
fact6 & fact3 -> int1: 読み易いということが生じる; int1 & fact5 -> int2: 読み易いということと灌水することが起きる; int2 & fact7 -> hypothesis;
fact6 & fact3 -> int1: {B}; int1 & fact5 -> int2: ({B} & {A}); int2 & fact7 -> hypothesis;
ぽにゅぽやLv.26事件が発生する
$facts$ = fact1: 「ぴにぴちょLv.16事件が起こるしもくもにょLv.30事件が発生する」ということは読み易いということは生じないということを防ぐ fact2: 「読み易いということは発生しない」ということはぽにゅぽやLv.26事件および灌水することが発生するを生じさせる fact3: ぴにぴちょLv.16事件は発生する一方でもくもにょLv.30事件は起きない fact4: もくもにょLv.30事件は生じない fact5: 灌水することが起きる fact6: もし仮にぴにぴちょLv.16事件が起きるしもくもにょLv.30事件は発生しないなら読み易いということが起こる fact7: ぽにゅぽやLv.26事件は生じないということは読み易いということと灌水することが起こるが契機だ fact8: 腑甲斐無いということが生じるし踏み外すことは起きない fact9: もし仮に「改元することは発生しなくて更に可笑しということは発生しない」ということは誤っているとしたら読み易いということは発生しない ; $hypothesis$ = ぽにゅぽやLv.26事件は起きない ; $proof$ = 
fact6 & fact3 -> int1: 読み易いということが生じる; int1 & fact5 -> int2: 読み易いということと灌水することが起きる; int2 & fact7 -> hypothesis; __PROVED__
fact6 & fact3 -> int1: {B}; int1 & fact5 -> int2: ({B} & {A}); int2 & fact7 -> hypothesis; __PROVED__