厚いということは起きない
fact1: 住み込むことが起きる fact2: 名状し難いということが発生するししかも住み込むことが起こる fact3: 弾むことが発生する fact4: もし仮に名状し難いということが起きるし弾むことが生じるなら「厚いということは発生しない」ということは本当だ
fact2 -> int1: 「名状し難いということが発生する」ということは確かである; int1 & fact3 -> int2: 名状し難いということおよび弾むことが発生する; int2 & fact4 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 住み込むことが起きる fact2: 名状し難いということが発生するししかも住み込むことが起こる fact3: 弾むことが発生する fact4: もし仮に名状し難いということが起きるし弾むことが生じるなら「厚いということは発生しない」ということは本当だ ; $hypothesis$ = 厚いということは起きない ; $proof$ = 
fact2 -> int1: 「名状し難いということが発生する」ということは確かである; int1 & fact3 -> int2: 名状し難いということおよび弾むことが発生する; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __PROVED__