まにゅまなLv.89事件は起きない
fact1: もしも回りくどいということは発生しないとすれば「ぷのぷねLv.25事件が発生するししかも行い易いということが起こる」ということは間違っている fact2: 仮にみゆみちゃLv.36事件は生じないならまにゅまなLv.89事件およびポップアップすること両方が生じる fact3: みゆみちゃLv.36事件が起こる fact4: ポップアップすることとみゆみちゃLv.36事件が発生する fact5: 「ポップアップすることが発生する」ということかもしくはぷのぷねLv.25事件かあるいはどちらもはまにゅまなLv.89事件を阻止する
fact4 -> int1: ポップアップすることが発生する; int1 -> int2: ポップアップすることが発生するかあるいはぷのぷねLv.25事件が起こるかまたは両方ともだ; int2 & fact5 -> hypothesis;
fact4 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact5 -> hypothesis;
まにゅまなLv.89事件が発生する
$facts$ = fact1: もしも回りくどいということは発生しないとすれば「ぷのぷねLv.25事件が発生するししかも行い易いということが起こる」ということは間違っている fact2: 仮にみゆみちゃLv.36事件は生じないならまにゅまなLv.89事件およびポップアップすること両方が生じる fact3: みゆみちゃLv.36事件が起こる fact4: ポップアップすることとみゆみちゃLv.36事件が発生する fact5: 「ポップアップすることが発生する」ということかもしくはぷのぷねLv.25事件かあるいはどちらもはまにゅまなLv.89事件を阻止する ; $hypothesis$ = まにゅまなLv.89事件は起きない ; $proof$ = 
fact4 -> int1: ポップアップすることが発生する; int1 -> int2: ポップアップすることが発生するかあるいはぷのぷねLv.25事件が起こるかまたは両方ともだ; int2 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact5 -> hypothesis; __PROVED__