あの円安進行時はスレッドでない
fact1: もしも「「ゼイでないしさらに葛餡でない」ということは確かでない」ものがあるならあの円安進行時はスレッドでない fact2: その往生はゼイである fact3: 「その往生はゼイでないしそれはスレッドでない」ということは嘘だ fact4: その往生は葛餡でない
void -> assump1: 以下のように仮定する。その往生はゼイでないし葛餡でない; assump1 -> int1: その往生はゼイでない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その往生はゼイでないしさらに葛餡でない」ということは成り立たない; int3 -> int4: 「「ゼイでなくて葛餡でない」ということは誤りな」ものはある; int4 & fact1 -> hypothesis;
$facts$ = fact1: もしも「「ゼイでないしさらに葛餡でない」ということは確かでない」ものがあるならあの円安進行時はスレッドでない fact2: その往生はゼイである fact3: 「その往生はゼイでないしそれはスレッドでない」ということは嘘だ fact4: その往生は葛餡でない ; $hypothesis$ = あの円安進行時はスレッドでない ; $proof$ = 
void -> assump1: 以下のように仮定する。その往生はゼイでないし葛餡でない; assump1 -> int1: その往生はゼイでない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その往生はゼイでないしさらに葛餡でない」ということは成り立たない; int3 -> int4: 「「ゼイでなくて葛餡でない」ということは誤りな」ものはある; int4 & fact1 -> hypothesis; __PROVED__
事実1: もしも「「ゼイでないしさらに葛餡でない」ということは確かでない」ものがあるならあの円安進行時はスレッドでない
事実2: その往生はゼイである
事実3: 「その往生はゼイでないしそれはスレッドでない」ということは嘘だ
事実4: その往生は葛餡でない

仮説: あの円安進行時はスレッドでない
1. 仮定1: 以下のように仮定する。その往生はゼイでないし葛餡でない
2. 仮定1から、推論1: "その往生はゼイでない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その往生はゼイでないしさらに葛餡でない」ということは成り立たない"が導かれる
5. 推論3から、推論4: "「「ゼイでなくて葛餡でない」ということは誤りな」ものはある"が導かれる
6. 推論4と事実1から、仮説が導かれる

よって、仮説が証明されました。