ぽにょぽにゃLv.66事件が発生する
fact1: 「まにまよLv.37事件は起こらないけど馴染み難いということが起きる」ということは誤りだ fact2: ぴにぴくLv.52事件は「展開し易いということは発生しない」ということを防ぐ fact3: 想定し難いということは見境無いということが契機である fact4: ぽにょぽにゃLv.66事件が生じるということは展開し易いということが起きるということにより発生する fact5: もしもしかつめらしいということは起きないとすれば「「ぴにぴくLv.52事件は生じないか展開し易いということは起きない」ということは成り立たない」ということは真実である fact6: もし「まにまよLv.37事件が発生しないが馴染み難いということは発生する」ということは事実と異なるなら「ぴにぴくLv.52事件が起こる」ということは正しい fact7: 「ぴちゅぴいLv.55事件は生じないけれど築城することが起きる」ということは成り立つということはない fact8: ぴにぴくLv.52事件は「馴染み難いということは発生しない」ということに誘発される fact9: 切り離し難いということが発生する
fact6 & fact1 -> int1: ぴにぴくLv.52事件が生じる; int1 & fact2 -> int2: 展開し易いということが生じる; int2 & fact4 -> hypothesis;
fact6 & fact1 -> int1: {B}; int1 & fact2 -> int2: {A}; int2 & fact4 -> hypothesis;
ぽにょぽにゃLv.66事件は生じない
$facts$ = fact1: 「まにまよLv.37事件は起こらないけど馴染み難いということが起きる」ということは誤りだ fact2: ぴにぴくLv.52事件は「展開し易いということは発生しない」ということを防ぐ fact3: 想定し難いということは見境無いということが契機である fact4: ぽにょぽにゃLv.66事件が生じるということは展開し易いということが起きるということにより発生する fact5: もしもしかつめらしいということは起きないとすれば「「ぴにぴくLv.52事件は生じないか展開し易いということは起きない」ということは成り立たない」ということは真実である fact6: もし「まにまよLv.37事件が発生しないが馴染み難いということは発生する」ということは事実と異なるなら「ぴにぴくLv.52事件が起こる」ということは正しい fact7: 「ぴちゅぴいLv.55事件は生じないけれど築城することが起きる」ということは成り立つということはない fact8: ぴにぴくLv.52事件は「馴染み難いということは発生しない」ということに誘発される fact9: 切り離し難いということが発生する ; $hypothesis$ = ぽにょぽにゃLv.66事件が発生する ; $proof$ = 
fact6 & fact1 -> int1: ぴにぴくLv.52事件が生じる; int1 & fact2 -> int2: 展開し易いということが生じる; int2 & fact4 -> hypothesis; __PROVED__
fact6 & fact1 -> int1: {B}; int1 & fact2 -> int2: {A}; int2 & fact4 -> hypothesis; __PROVED__