生え易いということは起きない
fact1: 「判断し難いということが発生するし更に底堅いということが起きる」ということは成り立つ fact2: 遣る瀬無いということが起きる fact3: 生え易いということは「判断し難いということと遣る瀬無いということが生じる」ということに阻まれる
fact1 -> int1: 判断し難いということが起こる; int1 & fact2 -> int2: 判断し難いということと遣る瀬無いということが起こる; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 「判断し難いということが発生するし更に底堅いということが起きる」ということは成り立つ fact2: 遣る瀬無いということが起きる fact3: 生え易いということは「判断し難いということと遣る瀬無いということが生じる」ということに阻まれる ; $hypothesis$ = 生え易いということは起きない ; $proof$ = 
fact1 -> int1: 判断し難いということが起こる; int1 & fact2 -> int2: 判断し難いということと遣る瀬無いということが起こる; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis; __PROVED__