ぽねぽやLv.13事件が起きるし更に鬱陶しいということが発生する
fact1: もし仮に「ぴいぴのLv.99事件は発生しない」ということは事実であれば「狂奔することは発生しなくて塗り易いということが生じる」ということは間違っている fact2: 鬱陶しいということが発生する fact3: 忘れっぽいということは発生しないということはだらし無いということに阻止される fact4: もし「狂奔することではなく塗り易いということが起きる」ということは成り立たないとすれば鬱陶しいということは生じない fact5: 長ーいということが起きる fact6: もし仮にだらし無いということは起きないならば「ぽねぽやLv.13事件が起きるしさらに鬱陶しいということが発生する」ということは間違いである fact7: だらし無いということが生じる fact8: 「ぽねぽやLv.13事件が発生する」ということは忘れっぽいということが契機である
fact3 & fact7 -> int1: 忘れっぽいということが起こる; int1 & fact8 -> int2: ぽねぽやLv.13事件が起こる; int2 & fact2 -> hypothesis;
fact3 & fact7 -> int1: {B}; int1 & fact8 -> int2: {C}; int2 & fact2 -> hypothesis;
「ぽねぽやLv.13事件と鬱陶しいということが発生する」ということは誤っている
$facts$ = fact1: もし仮に「ぴいぴのLv.99事件は発生しない」ということは事実であれば「狂奔することは発生しなくて塗り易いということが生じる」ということは間違っている fact2: 鬱陶しいということが発生する fact3: 忘れっぽいということは発生しないということはだらし無いということに阻止される fact4: もし「狂奔することではなく塗り易いということが起きる」ということは成り立たないとすれば鬱陶しいということは生じない fact5: 長ーいということが起きる fact6: もし仮にだらし無いということは起きないならば「ぽねぽやLv.13事件が起きるしさらに鬱陶しいということが発生する」ということは間違いである fact7: だらし無いということが生じる fact8: 「ぽねぽやLv.13事件が発生する」ということは忘れっぽいということが契機である ; $hypothesis$ = ぽねぽやLv.13事件が起きるし更に鬱陶しいということが発生する ; $proof$ = 
fact3 & fact7 -> int1: 忘れっぽいということが起こる; int1 & fact8 -> int2: ぽねぽやLv.13事件が起こる; int2 & fact2 -> hypothesis; __PROVED__
fact3 & fact7 -> int1: {B}; int1 & fact8 -> int2: {C}; int2 & fact2 -> hypothesis; __PROVED__