「ぷえぷやLv.23事件は起きなくて間断無いということは起きない」ということは成り立たない
fact1: 正しいということが発生する fact2: もし正しいということが生じるなら吹き捲ることではなくてぽやぽにゃLv.56事件が発生する fact3: 「ぷえぷやLv.23事件が生じるけれど間断無いということは生じない」ということは本当でない fact4: 堪え難いということは起きないということは癒し難いということに阻まれる fact5: 白いということは生じないということは「みねみよLv.29事件が起きるかぷなぷにょLv.3事件が生じるか両方ともだ」ということが契機である fact6: 目まぐるしいということが起きる fact7: みねみよLv.29事件は目まぐるしいということに引き起こされる fact8: 白いということは発生しないとすれば「ぷえぷやLv.23事件は起こらないしその上間断無いということは起きない」ということは嘘である fact9: もし吹き捲ることが起きないがしかしぽやぽにゃLv.56事件が起きるならぷえぷやLv.23事件は起こらない
fact7 & fact6 -> int1: 「みねみよLv.29事件が起こる」ということは事実である; int1 -> int2: みねみよLv.29事件が起こるかまたはぷなぷにょLv.3事件が発生する; int2 & fact5 -> int3: 白いということは起こらない; int3 & fact8 -> hypothesis;
fact7 & fact6 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact5 -> int3: ¬{D}; int3 & fact8 -> hypothesis;
ぷえぷやLv.23事件は起きないし間断無いということは起きない
fact10 & fact12 -> int4: 吹き捲ることは発生しなくてぽやぽにゃLv.56事件が生じる; fact11 & int4 -> int5: ぷえぷやLv.23事件は起きない;
$facts$ = fact1: 正しいということが発生する fact2: もし正しいということが生じるなら吹き捲ることではなくてぽやぽにゃLv.56事件が発生する fact3: 「ぷえぷやLv.23事件が生じるけれど間断無いということは生じない」ということは本当でない fact4: 堪え難いということは起きないということは癒し難いということに阻まれる fact5: 白いということは生じないということは「みねみよLv.29事件が起きるかぷなぷにょLv.3事件が生じるか両方ともだ」ということが契機である fact6: 目まぐるしいということが起きる fact7: みねみよLv.29事件は目まぐるしいということに引き起こされる fact8: 白いということは発生しないとすれば「ぷえぷやLv.23事件は起こらないしその上間断無いということは起きない」ということは嘘である fact9: もし吹き捲ることが起きないがしかしぽやぽにゃLv.56事件が起きるならぷえぷやLv.23事件は起こらない ; $hypothesis$ = 「ぷえぷやLv.23事件は起きなくて間断無いということは起きない」ということは成り立たない ; $proof$ = 
fact7 & fact6 -> int1: 「みねみよLv.29事件が起こる」ということは事実である; int1 -> int2: みねみよLv.29事件が起こるかまたはぷなぷにょLv.3事件が発生する; int2 & fact5 -> int3: 白いということは起こらない; int3 & fact8 -> hypothesis; __PROVED__
fact7 & fact6 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact5 -> int3: ¬{D}; int3 & fact8 -> hypothesis; __PROVED__