加工し易いということは起きない
fact1: 生じ易いということが発生する fact2: もしも怒号することは起きないとしたら生じ易いということかあるいは通り難いということかあるいは両方が起きる fact3: 通り難いということが発生する fact4: 「加工し易いということおよび通り難いということが起きる」ということは生じ易いということを阻止する
void -> assump1: 以下のように仮定する。加工し易いということが起きる; assump1 & fact3 -> int1: 加工し易いということと通り難いということどちらもが起こる; int1 & fact4 -> int2: 生じ易いということは生じない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。加工し易いということが起きる
$facts$ = fact1: 生じ易いということが発生する fact2: もしも怒号することは起きないとしたら生じ易いということかあるいは通り難いということかあるいは両方が起きる fact3: 通り難いということが発生する fact4: 「加工し易いということおよび通り難いということが起きる」ということは生じ易いということを阻止する ; $hypothesis$ = 加工し易いということは起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。加工し易いということが起きる; assump1 & fact3 -> int1: 加工し易いということと通り難いということどちらもが起こる; int1 & fact4 -> int2: 生じ易いということは生じない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__