ぽえぽにLv.71事件は生じない
fact1: 「ぴよぴいLv.90事件は起こらない」ということは「ぽえぽにLv.71事件とぷにゅぷやLv.44事件両方が発生する」ということに繋がる fact2: ぷにゅぷやLv.44事件とぴよぴいLv.90事件両方ともが起こる fact3: 「素晴らしということかまたは見縊ることが起こる」ということはぽえぽにLv.71事件は生じないということを引き起こす fact4: 「素晴らしということはぴよぴいLv.90事件が契機である」ということは真実である fact5: もねもよLv.74事件はぽえぽにLv.71事件が起こるということに由来する
fact2 -> int1: ぴよぴいLv.90事件が起こる; int1 & fact4 -> int2: 素晴らしということが起こる; int2 -> int3: 素晴らしということかまたは見縊ることが起きる; int3 & fact3 -> hypothesis;
fact2 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 -> int3: ({C} v {D}); int3 & fact3 -> hypothesis;
もねもよLv.74事件および揃い過ぎることどちらもが起こる
$facts$ = fact1: 「ぴよぴいLv.90事件は起こらない」ということは「ぽえぽにLv.71事件とぷにゅぷやLv.44事件両方が発生する」ということに繋がる fact2: ぷにゅぷやLv.44事件とぴよぴいLv.90事件両方ともが起こる fact3: 「素晴らしということかまたは見縊ることが起こる」ということはぽえぽにLv.71事件は生じないということを引き起こす fact4: 「素晴らしということはぴよぴいLv.90事件が契機である」ということは真実である fact5: もねもよLv.74事件はぽえぽにLv.71事件が起こるということに由来する ; $hypothesis$ = ぽえぽにLv.71事件は生じない ; $proof$ = 
fact2 -> int1: ぴよぴいLv.90事件が起こる; int1 & fact4 -> int2: 素晴らしということが起こる; int2 -> int3: 素晴らしということかまたは見縊ることが起きる; int3 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 -> int3: ({C} v {D}); int3 & fact3 -> hypothesis; __PROVED__