扱い易いということが起こる
fact1: 続出することが生じる fact2: 扱い易いということは生じないということは「まにまえLv.44事件および名状し難いということどちらもが生じる」ということにもたらされる fact3: 名状し難いということが発生するししかもたどたどしいということは発生する fact4: まにまえLv.44事件が生じる fact5: 「たどたどしいということは起きない」ということは扱い易いということおよび名状し難いということが起きるの原因となる fact6: たどたどしいということが起こる
fact3 -> int1: 名状し難いということが起きる; int1 & fact4 -> int2: まにまえLv.44事件および名状し難いということが起きる; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact4 -> int2: ({C} & {A}); int2 & fact2 -> hypothesis;
扱い易いということが起こる
$facts$ = fact1: 続出することが生じる fact2: 扱い易いということは生じないということは「まにまえLv.44事件および名状し難いということどちらもが生じる」ということにもたらされる fact3: 名状し難いということが発生するししかもたどたどしいということは発生する fact4: まにまえLv.44事件が生じる fact5: 「たどたどしいということは起きない」ということは扱い易いということおよび名状し難いということが起きるの原因となる fact6: たどたどしいということが起こる ; $hypothesis$ = 扱い易いということが起こる ; $proof$ = 
fact3 -> int1: 名状し難いということが起きる; int1 & fact4 -> int2: まにまえLv.44事件および名状し難いということが起きる; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact4 -> int2: ({C} & {A}); int2 & fact2 -> hypothesis; __DISPROVED__