みえみにゃLv.47事件は発生しない
fact1: ぷねぷやLv.92事件かあるいは避け難いということが生じるということかあるいは両方ともは「細かいということは発生しない」ということに引き起こされる fact2: 「避け難いということが起こる」ということは間違いだということはない fact3: もし「「ぷねぷやLv.92事件が起きるし避け難いということは起こらない」ということは成り立たない」ということは事実であればみえみにゃLv.47事件は起きない fact4: 「湿気易いということは生じない」ということかもしくは「細かいということは起こらない」ということかどちらもは「細かいということは起きない」ということに繋がる fact5: もし仮に「ぷにゃぷにょLv.6事件が起きなくて轢き殺すことは発生する」ということは嘘であるならば縮むことは起こらない fact6: 湿気易いということは生じないということか「細かいということは生じない」ということかもしくは両方は「惨たらしいということが起きる」ということに引き起こされる fact7: 「ぽねぽちょLv.32事件と惨たらしいということ両方が発生する」ということは縮むことは生じないということに引き起こされる
void -> assump1: 以下のように仮定する。「ぷねぷやLv.92事件が発生するけど避け難いということは起きない」ということは事実だ; assump1 -> int1: 避け難いということは起こらない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぷねぷやLv.92事件が起こるがしかし避け難いということは発生しない」ということは成り立つということはない; int3 & fact3 -> hypothesis;
void -> assump1: ({A} & ¬{B}); assump1 -> int1: ¬{B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬({A} & ¬{B}); int3 & fact3 -> hypothesis;
みえみにゃLv.47事件が起きる
$facts$ = fact1: ぷねぷやLv.92事件かあるいは避け難いということが生じるということかあるいは両方ともは「細かいということは発生しない」ということに引き起こされる fact2: 「避け難いということが起こる」ということは間違いだということはない fact3: もし「「ぷねぷやLv.92事件が起きるし避け難いということは起こらない」ということは成り立たない」ということは事実であればみえみにゃLv.47事件は起きない fact4: 「湿気易いということは生じない」ということかもしくは「細かいということは起こらない」ということかどちらもは「細かいということは起きない」ということに繋がる fact5: もし仮に「ぷにゃぷにょLv.6事件が起きなくて轢き殺すことは発生する」ということは嘘であるならば縮むことは起こらない fact6: 湿気易いということは生じないということか「細かいということは生じない」ということかもしくは両方は「惨たらしいということが起きる」ということに引き起こされる fact7: 「ぽねぽちょLv.32事件と惨たらしいということ両方が発生する」ということは縮むことは生じないということに引き起こされる ; $hypothesis$ = みえみにゃLv.47事件は発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「ぷねぷやLv.92事件が発生するけど避け難いということは起きない」ということは事実だ; assump1 -> int1: 避け難いということは起こらない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぷねぷやLv.92事件が起こるがしかし避け難いということは発生しない」ということは成り立つということはない; int3 & fact3 -> hypothesis; __PROVED__
void -> assump1: ({A} & ¬{B}); assump1 -> int1: ¬{B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬({A} & ¬{B}); int3 & fact3 -> hypothesis; __PROVED__