多しということが起こる
fact1: 滑り難いということが発生する fact2: 滑り難いということは呼び易いということに繋がる fact3: 「呼び易いということが起こるかもしくはぽにゃぽちょLv.82事件が生じるかどちらもである」ということは「多しということは生じない」ということを誘発する
fact2 & fact1 -> int1: 呼び易いということが生じる; int1 -> int2: 呼び易いということかまたはぽにゃぽちょLv.82事件か両方ともが起きる; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 滑り難いということが発生する fact2: 滑り難いということは呼び易いということに繋がる fact3: 「呼び易いということが起こるかもしくはぽにゃぽちょLv.82事件が生じるかどちらもである」ということは「多しということは生じない」ということを誘発する ; $hypothesis$ = 多しということが起こる ; $proof$ = 
fact2 & fact1 -> int1: 呼び易いということが生じる; int1 -> int2: 呼び易いということかまたはぽにゃぽちょLv.82事件か両方ともが起きる; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact3 -> hypothesis; __DISPROVED__