「禍々しいということが生じるがしかし推進することは起きない」ということは嘘である
fact1: もし仮に推進することが生じるなら「溜まり易いということが起こる」ということは間違いでない fact2: 「禍々しいということが生じる」ということは成り立つ fact3: 溜まり易いということは起こらない
void -> assump1: 以下のように仮定する。推進することが起こる; fact1 & assump1 -> int1: 溜まり易いということが起きる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「推進することは生じない」ということは真実だ; int3 & fact2 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact2 -> hypothesis;
$facts$ = fact1: もし仮に推進することが生じるなら「溜まり易いということが起こる」ということは間違いでない fact2: 「禍々しいということが生じる」ということは成り立つ fact3: 溜まり易いということは起こらない ; $hypothesis$ = 「禍々しいということが生じるがしかし推進することは起きない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。推進することが起こる; fact1 & assump1 -> int1: 溜まり易いということが起きる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「推進することは生じない」ということは真実だ; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact2 -> hypothesis; __DISPROVED__