抗い難いということは発生しない
fact1: 抗い難いということは「ぷよぷなLv.70事件が発生するしその上ぽよぽくLv.63事件が生じる」ということに防がれる fact2: 「ぷよぷなLv.70事件は起きない」ということは「其れらしいということが起こる」ということに阻止される fact3: ぽよぽくLv.63事件が起こる fact4: 銜え込むことはみゆみにゃLv.69事件を誘発する fact5: 「確認し易いということが生じる」ということはぷよぷなLv.70事件を誘発する fact6: 「其れらしいということが起こるかもしくは確認し易いということが起こる」ということは真実である
fact6 & fact2 & fact5 -> int1: ぷよぷなLv.70事件が生じる; int1 & fact3 -> int2: ぷよぷなLv.70事件が起こるし更にぽよぽくLv.63事件が起こる; int2 & fact1 -> hypothesis;
fact6 & fact2 & fact5 -> int1: {C}; int1 & fact3 -> int2: ({C} & {D}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 抗い難いということは「ぷよぷなLv.70事件が発生するしその上ぽよぽくLv.63事件が生じる」ということに防がれる fact2: 「ぷよぷなLv.70事件は起きない」ということは「其れらしいということが起こる」ということに阻止される fact3: ぽよぽくLv.63事件が起こる fact4: 銜え込むことはみゆみにゃLv.69事件を誘発する fact5: 「確認し易いということが生じる」ということはぷよぷなLv.70事件を誘発する fact6: 「其れらしいということが起こるかもしくは確認し易いということが起こる」ということは真実である ; $hypothesis$ = 抗い難いということは発生しない ; $proof$ = 
fact6 & fact2 & fact5 -> int1: ぷよぷなLv.70事件が生じる; int1 & fact3 -> int2: ぷよぷなLv.70事件が起こるし更にぽよぽくLv.63事件が起こる; int2 & fact1 -> hypothesis; __PROVED__
fact6 & fact2 & fact5 -> int1: {C}; int1 & fact3 -> int2: ({C} & {D}); int2 & fact1 -> hypothesis; __PROVED__