得難いということが起きる
fact1: 湿っぽいということと御寂しいということが起きる fact2: 取り扱い易いということが生じる fact3: 取り扱い易いということと湿っぽいということが起きるは「得難いということは生じない」ということを発生させる
fact1 -> int1: 湿っぽいということが起こる; int1 & fact2 -> int2: 取り扱い易いということおよび湿っぽいということ両方が発生する; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> int2: ({C} & {A}); 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} & {A}); int2 & fact3 -> hypothesis; __DISPROVED__