上り易いということは起こらない
fact1: もしももちょもくLv.58事件が起こるならぽちゃぽくLv.21事件が発生する fact2: 決め難いということとぽちゃぽくLv.21事件が生じるとすると上り易いということは発生しない fact3: 決め難いということが起きる fact4: もちょもくLv.58事件が起こる
fact1 & fact4 -> int1: ぽちゃぽくLv.21事件が発生する; int1 & fact3 -> int2: 決め難いということおよびぽちゃぽくLv.21事件どちらもが起きる; int2 & fact2 -> hypothesis;
fact1 & fact4 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact2 -> hypothesis;
$facts$ = fact1: もしももちょもくLv.58事件が起こるならぽちゃぽくLv.21事件が発生する fact2: 決め難いということとぽちゃぽくLv.21事件が生じるとすると上り易いということは発生しない fact3: 決め難いということが起きる fact4: もちょもくLv.58事件が起こる ; $hypothesis$ = 上り易いということは起こらない ; $proof$ = 
fact1 & fact4 -> int1: ぽちゃぽくLv.21事件が発生する; int1 & fact3 -> int2: 決め難いということおよびぽちゃぽくLv.21事件どちらもが起きる; int2 & fact2 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact2 -> hypothesis; __PROVED__