割り入ることとぴにょぴにLv.90事件両方が発生する
fact1: みちょみにLv.81事件は起こらないということはぷねぷちょLv.67事件に阻まれる fact2: みちょみにLv.81事件は「割り入ることは起きない」ということを防ぐ fact3: ぽわぽいLv.13事件は「みちょみにLv.81事件は起こらない」ということを回避する fact4: ぴにょぴにLv.90事件が生じる fact5: 「ぽわぽいLv.13事件が起こるかまたはぷねぷちょLv.67事件が発生するかあるいは両方ともだ」ということは確かである
fact5 & fact3 & fact1 -> int1: みちょみにLv.81事件が生じる; int1 & fact2 -> int2: 割り入ることが生じる; int2 & fact4 -> hypothesis;
fact5 & fact3 & fact1 -> int1: {C}; int1 & fact2 -> int2: {D}; int2 & fact4 -> hypothesis;
$facts$ = fact1: みちょみにLv.81事件は起こらないということはぷねぷちょLv.67事件に阻まれる fact2: みちょみにLv.81事件は「割り入ることは起きない」ということを防ぐ fact3: ぽわぽいLv.13事件は「みちょみにLv.81事件は起こらない」ということを回避する fact4: ぴにょぴにLv.90事件が生じる fact5: 「ぽわぽいLv.13事件が起こるかまたはぷねぷちょLv.67事件が発生するかあるいは両方ともだ」ということは確かである ; $hypothesis$ = 割り入ることとぴにょぴにLv.90事件両方が発生する ; $proof$ = 
fact5 & fact3 & fact1 -> int1: みちょみにLv.81事件が生じる; int1 & fact2 -> int2: 割り入ることが生じる; int2 & fact4 -> hypothesis; __PROVED__
fact5 & fact3 & fact1 -> int1: {C}; int1 & fact2 -> int2: {D}; int2 & fact4 -> hypothesis; __PROVED__