戻し易いということが発生するし出現し易いということが生じる
fact1: ぷちょぷのLv.19事件は発生するしもちゅもにゃLv.28事件は発生する fact2: 仮にぷちょぷのLv.19事件は起こらないとすると「戻し易いということが発生するし出現し易いということが起きる」ということは誤りだ fact3: 崩れ易いということが起こる fact4: もちゅもにゃLv.28事件が発生する fact5: 仮に「眩いということとぷちょぷのLv.19事件が生じる」ということは偽であるとするとぷちょぷのLv.19事件は起こらない fact6: 出現し易いということが起きる fact7: 「戻し易いということは起きない」ということはぷちょぷのLv.19事件に阻止される
fact1 -> int1: ぷちょぷのLv.19事件が発生する; int1 & fact7 -> int2: 戻し易いということが起きる; int2 & fact6 -> hypothesis;
fact1 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact6 -> hypothesis;
「戻し易いということが起こるし出現し易いということが起きる」ということは事実と異なる
$facts$ = fact1: ぷちょぷのLv.19事件は発生するしもちゅもにゃLv.28事件は発生する fact2: 仮にぷちょぷのLv.19事件は起こらないとすると「戻し易いということが発生するし出現し易いということが起きる」ということは誤りだ fact3: 崩れ易いということが起こる fact4: もちゅもにゃLv.28事件が発生する fact5: 仮に「眩いということとぷちょぷのLv.19事件が生じる」ということは偽であるとするとぷちょぷのLv.19事件は起こらない fact6: 出現し易いということが起きる fact7: 「戻し易いということは起きない」ということはぷちょぷのLv.19事件に阻止される ; $hypothesis$ = 戻し易いということが発生するし出現し易いということが生じる ; $proof$ = 
fact1 -> int1: ぷちょぷのLv.19事件が発生する; int1 & fact7 -> int2: 戻し易いということが起きる; int2 & fact6 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact6 -> hypothesis; __PROVED__