経ち上げることは生じない
fact1: みゆみえLv.59事件と若々しいということどちらもが起きる fact2: もえもいLv.53事件と思い知ることどちらもが起こる fact3: ぷちゃぷよLv.23事件が仲睦まじいということは原因だ fact4: みにみちゃLv.67事件が発生する fact5: 経ち上げることは起こらないということはぷちゃぷよLv.23事件およびみにみちゃLv.67事件が起こるに引き起こされる fact6: 仲睦まじいということは起こらないということは「若々しいということが起こる」ということに阻止される fact7: もわもねLv.60事件が起きる fact8: 初登場することが起きるしぽにゅぽいLv.66事件が生じる
fact1 -> int1: 若々しいということが発生する; int1 & fact6 -> int2: 仲睦まじいということが起こる; int2 & fact3 -> int3: ぷちゃぷよLv.23事件が起こる; int3 & fact4 -> int4: ぷちゃぷよLv.23事件とみにみちゃLv.67事件どちらもが生じる; int4 & fact5 -> hypothesis;
fact1 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact3 -> int3: {D}; int3 & fact4 -> int4: ({D} & {E}); int4 & fact5 -> hypothesis;
$facts$ = fact1: みゆみえLv.59事件と若々しいということどちらもが起きる fact2: もえもいLv.53事件と思い知ることどちらもが起こる fact3: ぷちゃぷよLv.23事件が仲睦まじいということは原因だ fact4: みにみちゃLv.67事件が発生する fact5: 経ち上げることは起こらないということはぷちゃぷよLv.23事件およびみにみちゃLv.67事件が起こるに引き起こされる fact6: 仲睦まじいということは起こらないということは「若々しいということが起こる」ということに阻止される fact7: もわもねLv.60事件が起きる fact8: 初登場することが起きるしぽにゅぽいLv.66事件が生じる ; $hypothesis$ = 経ち上げることは生じない ; $proof$ = 
fact1 -> int1: 若々しいということが発生する; int1 & fact6 -> int2: 仲睦まじいということが起こる; int2 & fact3 -> int3: ぷちゃぷよLv.23事件が起こる; int3 & fact4 -> int4: ぷちゃぷよLv.23事件とみにみちゃLv.67事件どちらもが生じる; int4 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact3 -> int3: {D}; int3 & fact4 -> int4: ({D} & {E}); int4 & fact5 -> hypothesis; __PROVED__