馬鹿らしいということが生じる
fact1: 「劣ることではなく溜まり易いということが生じる」ということは入れ易いということは生じないということをもたらす fact2: 「馬鹿らしいということは発生しない」ということは入れ易いということおよび溜まり易いということが発生するにより生じる fact3: 呼号することが発生する fact4: 溜まり易いということが発生する fact5: 入れ易いということは呼号することにもたらされる fact6: もし仮に劣ることが起きないならぽなぽねLv.71事件と溜まり易いということは発生する
fact5 & fact3 -> int1: 入れ易いということが生じる; int1 & fact4 -> int2: 入れ易いということと溜まり易いということ両方ともが生じる; int2 & fact2 -> hypothesis;
fact5 & fact3 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
馬鹿らしいということが生じる
$facts$ = fact1: 「劣ることではなく溜まり易いということが生じる」ということは入れ易いということは生じないということをもたらす fact2: 「馬鹿らしいということは発生しない」ということは入れ易いということおよび溜まり易いということが発生するにより生じる fact3: 呼号することが発生する fact4: 溜まり易いということが発生する fact5: 入れ易いということは呼号することにもたらされる fact6: もし仮に劣ることが起きないならぽなぽねLv.71事件と溜まり易いということは発生する ; $hypothesis$ = 馬鹿らしいということが生じる ; $proof$ = 
fact5 & fact3 -> int1: 入れ易いということが生じる; int1 & fact4 -> int2: 入れ易いということと溜まり易いということ両方ともが生じる; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__