使用し難いということは起きない
fact1: 論考することおよび夜逃げすることが起きる fact2: 夜逃げすることが起きる fact3: 「夜逃げすることは生じない」ということは使用し難いということと論考することが発生するのきっかけとなる fact4: 「論考することが起きるし更に恐ろしいということが生じる」ということは使用し難いということを阻止する fact5: 判別し易いということが起きるしタイトルらしいということが起こる fact6: 恐ろしいということが生じる fact7: 発現し易いということが起きる
fact1 -> int1: 論考することが起こる; int1 & fact6 -> int2: 論考することおよび恐ろしいということ両方が生じる; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
使用し難いということが起きる
$facts$ = fact1: 論考することおよび夜逃げすることが起きる fact2: 夜逃げすることが起きる fact3: 「夜逃げすることは生じない」ということは使用し難いということと論考することが発生するのきっかけとなる fact4: 「論考することが起きるし更に恐ろしいということが生じる」ということは使用し難いということを阻止する fact5: 判別し易いということが起きるしタイトルらしいということが起こる fact6: 恐ろしいということが生じる fact7: 発現し易いということが起きる ; $hypothesis$ = 使用し難いということは起きない ; $proof$ = 
fact1 -> int1: 論考することが起こる; int1 & fact6 -> int2: 論考することおよび恐ろしいということ両方が生じる; int2 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __PROVED__