「送達すことは生じない」ということは成り立つ
fact1: 仮に「まなまねLv.31事件とぽやぽいLv.10事件両方ともが生じる」ということは正しいということはないならばぽやぽいLv.10事件は発生しない fact2: 「嵌め込むことが発生する」ということは真実である fact3: 「長たらしいということが生じる」ということは正しい fact4: 送達すことはぽやぽいLv.10事件が起こるということにもたらされる fact5: ぽやぽいLv.10事件は「みくみにゃLv.92事件ではなくて長たらしいということが起こる」ということに引き起こされる fact6: もし人間らしいということは発生しないなら「まなまねLv.31事件およびぽやぽいLv.10事件が起こる」ということは間違っている fact7: みくみにゃLv.92事件は起こらない fact8: みのみよLv.54事件と由々しいということが起きるは「人間らしいということは起きない」ということを生じさせる fact9: 「相応しいということが起こるし加えてみのみよLv.54事件が生じる」ということは理想化することは起こらないということに由来する
fact7 & fact3 -> int1: みくみにゃLv.92事件ではなく長たらしいということが起きる; int1 & fact5 -> int2: 「ぽやぽいLv.10事件が起こる」ということは正しい; int2 & fact4 -> hypothesis;
fact7 & fact3 -> int1: (¬{A} & {B}); int1 & fact5 -> int2: {C}; int2 & fact4 -> hypothesis;
「送達すことは生じない」ということは成り立つ
$facts$ = fact1: 仮に「まなまねLv.31事件とぽやぽいLv.10事件両方ともが生じる」ということは正しいということはないならばぽやぽいLv.10事件は発生しない fact2: 「嵌め込むことが発生する」ということは真実である fact3: 「長たらしいということが生じる」ということは正しい fact4: 送達すことはぽやぽいLv.10事件が起こるということにもたらされる fact5: ぽやぽいLv.10事件は「みくみにゃLv.92事件ではなくて長たらしいということが起こる」ということに引き起こされる fact6: もし人間らしいということは発生しないなら「まなまねLv.31事件およびぽやぽいLv.10事件が起こる」ということは間違っている fact7: みくみにゃLv.92事件は起こらない fact8: みのみよLv.54事件と由々しいということが起きるは「人間らしいということは起きない」ということを生じさせる fact9: 「相応しいということが起こるし加えてみのみよLv.54事件が生じる」ということは理想化することは起こらないということに由来する ; $hypothesis$ = 「送達すことは生じない」ということは成り立つ ; $proof$ = 
fact7 & fact3 -> int1: みくみにゃLv.92事件ではなく長たらしいということが起きる; int1 & fact5 -> int2: 「ぽやぽいLv.10事件が起こる」ということは正しい; int2 & fact4 -> hypothesis; __DISPROVED__
fact7 & fact3 -> int1: (¬{A} & {B}); int1 & fact5 -> int2: {C}; int2 & fact4 -> hypothesis; __DISPROVED__