「剥離し難いということが発生する」ということは偽だということはない
fact1: 敵中深いということが生じる fact2: 「淡いということおよび敵中深いということが生じる」ということは「剥離し難いということは起きない」ということを誘発する fact3: 淡いということが発生するしまくまいLv.88事件が起こる
fact3 -> int1: 淡いということが発生する; int1 & fact1 -> int2: 淡いということが生じるしそれに敵中深いということが発生する; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 敵中深いということが生じる fact2: 「淡いということおよび敵中深いということが生じる」ということは「剥離し難いということは起きない」ということを誘発する fact3: 淡いということが発生するしまくまいLv.88事件が起こる ; $hypothesis$ = 「剥離し難いということが発生する」ということは偽だということはない ; $proof$ = 
fact3 -> int1: 淡いということが発生する; int1 & fact1 -> int2: 淡いということが生じるしそれに敵中深いということが発生する; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__