歩き難いということは起きない
fact1: 話し難いということが起きるし蒔き付けることが発生する fact2: 割れ易いということが発生するということは話し難いということが起きるということはきっかけである fact3: 割れ易いということは「歩き難いということが起こる」ということに繋がる
fact1 -> int1: 話し難いということが起きる; int1 & fact2 -> int2: 割れ易いということが生じる; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 話し難いということが起きるし蒔き付けることが発生する fact2: 割れ易いということが発生するということは話し難いということが起きるということはきっかけである fact3: 割れ易いということは「歩き難いということが起こる」ということに繋がる ; $hypothesis$ = 歩き難いということは起きない ; $proof$ = 
fact1 -> int1: 話し難いということが起きる; int1 & fact2 -> int2: 割れ易いということが生じる; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis; __DISPROVED__