展開し易いということは起こらない
fact1: ぴちゃぴくLv.27事件および届き難いということ両方ともが発生する fact2: 届き難いということは書き綴ることが発生するということに帰結する fact3: 仮に書き綴ることが起きるとしたら展開し易いということが生じる
fact1 -> int1: 届き難いということが起きる; int1 & fact2 -> int2: 書き綴ることが起きる; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis;
$facts$ = fact1: ぴちゃぴくLv.27事件および届き難いということ両方ともが発生する fact2: 届き難いということは書き綴ることが発生するということに帰結する fact3: 仮に書き綴ることが起きるとしたら展開し易いということが生じる ; $hypothesis$ = 展開し易いということは起こらない ; $proof$ = 
fact1 -> int1: 届き難いということが起きる; int1 & fact2 -> int2: 書き綴ることが起きる; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis; __DISPROVED__