「解け易いということは起きない」ということは成り立つ
fact1: 呪い殺すこととまいまわLv.13事件どちらもが発生する fact2: ぴよぴわLv.33事件と落ち難いということが起きるは解け易いということは発生しないということに帰結する fact3: ぎごちないということは起こらない fact4: 血腥いということが発生する fact5: ぴちょぴいLv.95事件は生じない fact6: 落ち難いということが起こる fact7: 「解け易いということおよびぴよぴわLv.33事件が起こる」ということは血腥いということは発生しないということが原因である fact8: ぴよぴわLv.33事件と血腥いということが起こる
fact8 -> int1: ぴよぴわLv.33事件が発生する; int1 & fact6 -> int2: ぴよぴわLv.33事件と落ち難いということが起きる; int2 & fact2 -> hypothesis;
fact8 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
解け易いということが発生する
$facts$ = fact1: 呪い殺すこととまいまわLv.13事件どちらもが発生する fact2: ぴよぴわLv.33事件と落ち難いということが起きるは解け易いということは発生しないということに帰結する fact3: ぎごちないということは起こらない fact4: 血腥いということが発生する fact5: ぴちょぴいLv.95事件は生じない fact6: 落ち難いということが起こる fact7: 「解け易いということおよびぴよぴわLv.33事件が起こる」ということは血腥いということは発生しないということが原因である fact8: ぴよぴわLv.33事件と血腥いということが起こる ; $hypothesis$ = 「解け易いということは起きない」ということは成り立つ ; $proof$ = 
fact8 -> int1: ぴよぴわLv.33事件が発生する; int1 & fact6 -> int2: ぴよぴわLv.33事件と落ち難いということが起きる; int2 & fact2 -> hypothesis; __PROVED__
fact8 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __PROVED__