立て易いということは起きない
fact1: 開き始めることは発生しないならば眠たいということおよび納得し易いということが起こる fact2: もしも納得し易いということは発生しないとすれば立て易いということが起きるし眠たいということが起こる fact3: 開き始めることは起こらない fact4: 「行われ易いということが起きるかまたは眠たいということが起こる」ということは立て易いということは起こらないということに繋がる fact5: 納得し易いということが起きる
fact3 & fact1 -> int1: 眠たいということが生じるししかも納得し易いということが起きる; int1 -> int2: 眠たいということが発生する; int2 -> int3: 「行われ易いということかもしくは眠たいということが発生する」ということは成り立つ; int3 & fact4 -> hypothesis;
fact3 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({C} v {A}); int3 & fact4 -> hypothesis;
立て易いということが生じる
$facts$ = fact1: 開き始めることは発生しないならば眠たいということおよび納得し易いということが起こる fact2: もしも納得し易いということは発生しないとすれば立て易いということが起きるし眠たいということが起こる fact3: 開き始めることは起こらない fact4: 「行われ易いということが起きるかまたは眠たいということが起こる」ということは立て易いということは起こらないということに繋がる fact5: 納得し易いということが起きる ; $hypothesis$ = 立て易いということは起きない ; $proof$ = 
fact3 & fact1 -> int1: 眠たいということが生じるししかも納得し易いということが起きる; int1 -> int2: 眠たいということが発生する; int2 -> int3: 「行われ易いということかもしくは眠たいということが発生する」ということは成り立つ; int3 & fact4 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({C} v {A}); int3 & fact4 -> hypothesis; __PROVED__