示し易いということは発生しない
fact1: 幅広いということが起きるししかも四角いということが起こる fact2: もし仮に「開けることではなくて示し易いということが発生する」ということは間違いだとしたら「開けることが起きる」ということは成り立つ fact3: もし待ち遠しいということが発生するしまた示し易いということは発生するとしたら「拡張することは発生しない」ということは真実である fact4: 拡張することが生じる fact5: 待ち遠しいということが起こる fact6: 記録出来ることが発生する fact7: 仮に拡張することは起こらなくてかつ待ち遠しいということは起きないなら示し易いということが生じる
void -> assump1: 以下のように仮定する。示し易いということが起きる; fact5 & assump1 -> int1: 待ち遠しいということが起こるししかも示し易いということが発生する; int1 & fact3 -> int2: 「拡張することは生じない」ということは成り立つ; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact5 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
開けることが起きる
$facts$ = fact1: 幅広いということが起きるししかも四角いということが起こる fact2: もし仮に「開けることではなくて示し易いということが発生する」ということは間違いだとしたら「開けることが起きる」ということは成り立つ fact3: もし待ち遠しいということが発生するしまた示し易いということは発生するとしたら「拡張することは発生しない」ということは真実である fact4: 拡張することが生じる fact5: 待ち遠しいということが起こる fact6: 記録出来ることが発生する fact7: 仮に拡張することは起こらなくてかつ待ち遠しいということは起きないなら示し易いということが生じる ; $hypothesis$ = 示し易いということは発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。示し易いということが起きる; fact5 & assump1 -> int1: 待ち遠しいということが起こるししかも示し易いということが発生する; int1 & fact3 -> int2: 「拡張することは生じない」ということは成り立つ; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; fact5 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__