不足し易いということが生じるしそれにぷのぷにLv.80事件が発生する
fact1: 仮にみちょみちゅLv.63事件は生じないならば「不足し易いということが発生するしおまけにぷのぷにLv.80事件が起きる」ということは偽だ fact2: ぷのぷにLv.80事件が起こる fact3: 不足し易いということは発生しないということはみちょみちゅLv.63事件に阻まれる fact4: みやみゆLv.5事件が起きる fact5: みちょみちゅLv.63事件と馴染み難いということが発生する fact6: 全開することが生じる fact7: 性分らしいということが起きる fact8: ぷえぷちゃLv.53事件が生じるしまやまなLv.3事件が起こる
fact5 -> int1: みちょみちゅLv.63事件が発生する; int1 & fact3 -> int2: 不足し易いということが起こる; int2 & fact2 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact2 -> hypothesis;
「「「不足し易いということとぷのぷにLv.80事件両方ともが生じる」ということは成り立つ」ということは本当でない」ということは偽でない
$facts$ = fact1: 仮にみちょみちゅLv.63事件は生じないならば「不足し易いということが発生するしおまけにぷのぷにLv.80事件が起きる」ということは偽だ fact2: ぷのぷにLv.80事件が起こる fact3: 不足し易いということは発生しないということはみちょみちゅLv.63事件に阻まれる fact4: みやみゆLv.5事件が起きる fact5: みちょみちゅLv.63事件と馴染み難いということが発生する fact6: 全開することが生じる fact7: 性分らしいということが起きる fact8: ぷえぷちゃLv.53事件が生じるしまやまなLv.3事件が起こる ; $hypothesis$ = 不足し易いということが生じるしそれにぷのぷにLv.80事件が発生する ; $proof$ = 
fact5 -> int1: みちょみちゅLv.63事件が発生する; int1 & fact3 -> int2: 不足し易いということが起こる; int2 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact2 -> hypothesis; __PROVED__