「想定し難いということは起こらない」ということは成り立つ
fact1: 想定し難いということと雪深いということが発生するは「非難がましいということが発生する」ということを回避する fact2: 雪深いということが起きる fact3: 非難がましいということが起きる
void -> assump1: 以下のように仮定する。想定し難いということが発生する; assump1 & fact2 -> int1: 想定し難いということが生じるし加えて雪深いということが生じる; int1 & fact1 -> int2: 非難がましいということは生じない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 想定し難いということと雪深いということが発生するは「非難がましいということが発生する」ということを回避する fact2: 雪深いということが起きる fact3: 非難がましいということが起きる ; $hypothesis$ = 「想定し難いということは起こらない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。想定し難いということが発生する; assump1 & fact2 -> int1: 想定し難いということが生じるし加えて雪深いということが生じる; int1 & fact1 -> int2: 非難がましいということは生じない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__