手厳しいということは発生しない
fact1: 手厳しいということかもしくは吸収し易いということが生じるとすると思い出深いということは生じない fact2: 「手厳しいということは生じない」ということは吸収し易いということに阻止される fact3: もしも減り込むことは起こらないとすれば思い出深いということが起きるししかも吸収し易いということが起きる fact4: 思い出深いということが起こる
void -> assump1: 以下のように仮定する。手厳しいということが発生する; assump1 -> int1: 手厳しいということが生じるか吸収し易いということが発生するかあるいは両方ともである; int1 & fact1 -> int2: 思い出深いということは起こらない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。手厳しいということが発生する
$facts$ = fact1: 手厳しいということかもしくは吸収し易いということが生じるとすると思い出深いということは生じない fact2: 「手厳しいということは生じない」ということは吸収し易いということに阻止される fact3: もしも減り込むことは起こらないとすれば思い出深いということが起きるししかも吸収し易いということが起きる fact4: 思い出深いということが起こる ; $hypothesis$ = 手厳しいということは発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。手厳しいということが発生する; assump1 -> int1: 手厳しいということが生じるか吸収し易いということが発生するかあるいは両方ともである; int1 & fact1 -> int2: 思い出深いということは起こらない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__