執着することが発生する
fact1: ぴにょぴわLv.43事件は起きないということはぽにゅぽわLv.95事件に阻止される fact2: 苦しいということが起きる fact3: 偏り易いということは細かいということは起きないということを阻止する fact4: 執着することは苦しいということにより生じる fact5: もちょもにLv.98事件が起きる fact6: 小難しいということが起きる fact7: 勝ち易いということが発生する
fact2 -> int1: 苦しいということが起きる; int1 & fact4 -> hypothesis;
fact2 -> int1: {A}; int1 & fact4 -> hypothesis;
$facts$ = fact1: ぴにょぴわLv.43事件は起きないということはぽにゅぽわLv.95事件に阻止される fact2: 苦しいということが起きる fact3: 偏り易いということは細かいということは起きないということを阻止する fact4: 執着することは苦しいということにより生じる fact5: もちょもにLv.98事件が起きる fact6: 小難しいということが起きる fact7: 勝ち易いということが発生する ; $hypothesis$ = 執着することが発生する ; $proof$ = 
fact2 -> int1: 苦しいということが起きる; int1 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact4 -> hypothesis; __PROVED__