生成し易いということは起こらない
fact1: 移動し易いということが起こる fact2: 仮に「御忙しいということではなく出来易いということが発生する」ということは成り立たないなら出来易いということは生じない fact3: 「仮に移動し易いということと出来易いということどちらもが生じるとしたら凄いということは生じない」ということは事実である fact4: 凄いということは起こらないということは生成し易いということを阻む fact5: 「移動し易いということと生成し易いということ両方ともが起きる」ということは「出来易いということは起きない」ということが原因だ fact6: 「捕らえ易いということが起きる」ということは生成し易いということは起きないということを阻止する fact7: 出来易いということが発生する fact8: 吊り易いということは生じないということは「移動し易いということは起きなくて出来易いということは起きない」ということがきっかけだ
fact1 & fact7 -> int1: 移動し易いということおよび出来易いということが生じる; int1 & fact3 -> int2: 「「凄いということが起きる」ということは成り立たない」ということは本当である; int2 & fact4 -> hypothesis;
fact1 & fact7 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> hypothesis;
生成し易いということが起きる
$facts$ = fact1: 移動し易いということが起こる fact2: 仮に「御忙しいということではなく出来易いということが発生する」ということは成り立たないなら出来易いということは生じない fact3: 「仮に移動し易いということと出来易いということどちらもが生じるとしたら凄いということは生じない」ということは事実である fact4: 凄いということは起こらないということは生成し易いということを阻む fact5: 「移動し易いということと生成し易いということ両方ともが起きる」ということは「出来易いということは起きない」ということが原因だ fact6: 「捕らえ易いということが起きる」ということは生成し易いということは起きないということを阻止する fact7: 出来易いということが発生する fact8: 吊り易いということは生じないということは「移動し易いということは起きなくて出来易いということは起きない」ということがきっかけだ ; $hypothesis$ = 生成し易いということは起こらない ; $proof$ = 
fact1 & fact7 -> int1: 移動し易いということおよび出来易いということが生じる; int1 & fact3 -> int2: 「「凄いということが起きる」ということは成り立たない」ということは本当である; int2 & fact4 -> hypothesis; __PROVED__
fact1 & fact7 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> hypothesis; __PROVED__