「「五団体で更にストラトキャスターでない」ということは成り立たない」物はある
fact1: もしあの心電図は五団体ならば「あの掻い巻きは技術士であるけどストラトキャスターでない」ということは誤っている fact2: 仮に何らかの物が技術士でないとすれば徒らっぽいかもしくはそれは起こり易い fact3: あの心電図は五団体であるし加えて任す fact4: もしこの吉数は技術士でないとすると「あの掻い巻きは五団体だけどストラトキャスターでない」ということは偽だ fact5: もし「なんらかのものは技術士であるけどストラトキャスターでない」ということは誤りであるとすれば技術士だということはない fact6: もし仮になにがしかの物が伸び易いかもしくは起こり易いかあるいは両方であるならばこの吉数は技術士でない fact7: 「あの先行指標は徒らっぽくないかもしくは起こり易くないかあるいは両方ともである」ということは成り立つということはない fact8: なんらかの物は伸び易いかあるいは徒らっぽいか両方である
void -> assump1: 以下のように仮定する。あの先行指標は起こり易くない; assump1 -> int1: あの先行指標は徒らっぽくないかそれは起こり易くないかまたは両方ともである; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの先行指標は起こり易い; int3 -> int4: あの先行指標は伸び易いかあるいは起こり易いかもしくは両方ともだ; int4 -> int5: 伸び易いかまたは起こり易いか両方なものはある; int5 & fact6 -> int6: この吉数は技術士でない; int6 & fact4 -> int7: 「「あの掻い巻きは五団体だけどストラトキャスターでない」ということは嘘である」ということは成り立つ; int7 -> hypothesis;
この吉数は伸び易くないかあるいは茶色っぽいということはないかあるいはどちらもである
fact10 -> int8: 仮にあの掻い巻きが技術士でないとすれば徒らっぽいかまたはそれは起こり易いかまたは両方である; fact12 -> int9: もし仮に「あの掻い巻きは技術士だがしかしストラトキャスターでない」ということは確かであるということはないとしたら技術士だということはない; fact9 -> int10: あの心電図は五団体だ; fact11 & int10 -> int11: 「あの掻い巻きは技術士であるけどストラトキャスターでない」ということは成り立たない; int9 & int11 -> int12: あの掻い巻きは技術士でない; int8 & int12 -> int13: あの掻い巻きは徒らっぽいかまたは起こり易い;
$facts$ = fact1: もしあの心電図は五団体ならば「あの掻い巻きは技術士であるけどストラトキャスターでない」ということは誤っている fact2: 仮に何らかの物が技術士でないとすれば徒らっぽいかもしくはそれは起こり易い fact3: あの心電図は五団体であるし加えて任す fact4: もしこの吉数は技術士でないとすると「あの掻い巻きは五団体だけどストラトキャスターでない」ということは偽だ fact5: もし「なんらかのものは技術士であるけどストラトキャスターでない」ということは誤りであるとすれば技術士だということはない fact6: もし仮になにがしかの物が伸び易いかもしくは起こり易いかあるいは両方であるならばこの吉数は技術士でない fact7: 「あの先行指標は徒らっぽくないかもしくは起こり易くないかあるいは両方ともである」ということは成り立つということはない fact8: なんらかの物は伸び易いかあるいは徒らっぽいか両方である ; $hypothesis$ = 「「五団体で更にストラトキャスターでない」ということは成り立たない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの先行指標は起こり易くない; assump1 -> int1: あの先行指標は徒らっぽくないかそれは起こり易くないかまたは両方ともである; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの先行指標は起こり易い; int3 -> int4: あの先行指標は伸び易いかあるいは起こり易いかもしくは両方ともだ; int4 -> int5: 伸び易いかまたは起こり易いか両方なものはある; int5 & fact6 -> int6: この吉数は技術士でない; int6 & fact4 -> int7: 「「あの掻い巻きは五団体だけどストラトキャスターでない」ということは嘘である」ということは成り立つ; int7 -> hypothesis; __PROVED__
事実1: もしあの心電図は五団体ならば「あの掻い巻きは技術士であるけどストラトキャスターでない」ということは誤っている
事実2: 仮に何らかの物が技術士でないとすれば徒らっぽいかもしくはそれは起こり易い
事実3: あの心電図は五団体であるし加えて任す
事実4: もしこの吉数は技術士でないとすると「あの掻い巻きは五団体だけどストラトキャスターでない」ということは偽だ
事実5: もし「なんらかのものは技術士であるけどストラトキャスターでない」ということは誤りであるとすれば技術士だということはない
事実6: もし仮になにがしかの物が伸び易いかもしくは起こり易いかあるいは両方であるならばこの吉数は技術士でない
事実7: 「あの先行指標は徒らっぽくないかもしくは起こり易くないかあるいは両方ともである」ということは成り立つということはない
事実8: なんらかの物は伸び易いかあるいは徒らっぽいか両方である

仮説: 「「五団体で更にストラトキャスターでない」ということは成り立たない」物はある
1. 仮定1: 以下のように仮定する。あの先行指標は起こり易くない
2. 仮定1から、推論1: "あの先行指標は徒らっぽくないかそれは起こり易くないかまたは両方ともである"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの先行指標は起こり易い"が導かれる
5. 推論3から、推論4: "あの先行指標は伸び易いかあるいは起こり易いかもしくは両方ともだ"が導かれる
6. 推論4から、推論5: "伸び易いかまたは起こり易いか両方なものはある"が導かれる
7. 推論5と事実6から、推論6: "この吉数は技術士でない"が導かれる
8. 推論6と事実4から、推論7: "「「あの掻い巻きは五団体だけどストラトキャスターでない」ということは嘘である」ということは成り立つ"が導かれる
9. 推論7から、仮説が導かれる

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