子供らしいということが生じる
fact1: みのみのLv.48事件は預かれることを引き起こす fact2: 「預かれることおよび徹底出来ることが起きる」ということは子供らしいということを阻む fact3: 徹底出来ることが起こる fact4: もしもぷよぷちゃLv.33事件が起こらなくて捧げ切ることが生じないとしたらみのみのLv.48事件は発生する fact5: ぴくぴちゃLv.62事件が起きる fact6: ぴくぴちゃLv.62事件が生じればぷよぷちゃLv.33事件が発生しなくて捧げ切ることは発生しない
fact6 & fact5 -> int1: ぷよぷちゃLv.33事件が発生しないしさらに捧げ切ることは発生しない; int1 & fact4 -> int2: みのみのLv.48事件が発生する; int2 & fact1 -> int3: 預かれることが起きる; int3 & fact3 -> int4: 預かれることと徹底出来ること両方ともが起きる; int4 & fact2 -> hypothesis;
fact6 & fact5 -> int1: (¬{AA} & ¬{AB}); int1 & fact4 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 & fact3 -> int4: ({C} & {D}); int4 & fact2 -> hypothesis;
$facts$ = fact1: みのみのLv.48事件は預かれることを引き起こす fact2: 「預かれることおよび徹底出来ることが起きる」ということは子供らしいということを阻む fact3: 徹底出来ることが起こる fact4: もしもぷよぷちゃLv.33事件が起こらなくて捧げ切ることが生じないとしたらみのみのLv.48事件は発生する fact5: ぴくぴちゃLv.62事件が起きる fact6: ぴくぴちゃLv.62事件が生じればぷよぷちゃLv.33事件が発生しなくて捧げ切ることは発生しない ; $hypothesis$ = 子供らしいということが生じる ; $proof$ = 
fact6 & fact5 -> int1: ぷよぷちゃLv.33事件が発生しないしさらに捧げ切ることは発生しない; int1 & fact4 -> int2: みのみのLv.48事件が発生する; int2 & fact1 -> int3: 預かれることが起きる; int3 & fact3 -> int4: 預かれることと徹底出来ること両方ともが起きる; int4 & fact2 -> hypothesis; __DISPROVED__
fact6 & fact5 -> int1: (¬{AA} & ¬{AB}); int1 & fact4 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 & fact3 -> int4: ({C} & {D}); int4 & fact2 -> hypothesis; __DISPROVED__