「もし仮に考え易いならば構築技術な」物はある
fact1: 「その廃用症候群は思しいかまたはそれは動機付けるかあるいはどちらもである」ということは成り立つ fact2: 仮に何かは思しいかあるいはそれが動機付けるとしたらそれは気触れない fact3: もしその廃用症候群が気触れるということはないがそれは考え易いならば「構築技術である」ということは誤りでない fact4: もし仮になにがしかのものはきな臭くないなら「構築技術でないしさらに考え易いということはない」ということは偽だ
fact2 -> int1: もしその廃用症候群が思しいかまたはそれは動機付けるかまたは両方ともであるとしたら「それは気触れない」ということは成り立つ; int1 & fact1 -> int2: その廃用症候群は気触れない; void -> assump1: 以下のように仮定する。その廃用症候群は考え易い; int2 & assump1 -> int3: その廃用症候群は気触れないがしかし考え易い; int3 & fact3 -> int4: その廃用症候群は構築技術である; [assump1] & int4 -> int5: もしもその廃用症候群が考え易いならそれは構築技術である; int5 -> hypothesis;
その扁平上皮癌は気触れない
fact5 -> int6: 「仮にその扁平上皮癌はきな臭くないなら「「その扁平上皮癌は構築技術であるということはなくて考え易くない」ということは真実である」ということは間違っている」ということは確かである;
$facts$ = fact1: 「その廃用症候群は思しいかまたはそれは動機付けるかあるいはどちらもである」ということは成り立つ fact2: 仮に何かは思しいかあるいはそれが動機付けるとしたらそれは気触れない fact3: もしその廃用症候群が気触れるということはないがそれは考え易いならば「構築技術である」ということは誤りでない fact4: もし仮になにがしかのものはきな臭くないなら「構築技術でないしさらに考え易いということはない」ということは偽だ ; $hypothesis$ = 「もし仮に考え易いならば構築技術な」物はある ; $proof$ = 
fact2 -> int1: もしその廃用症候群が思しいかまたはそれは動機付けるかまたは両方ともであるとしたら「それは気触れない」ということは成り立つ; int1 & fact1 -> int2: その廃用症候群は気触れない; void -> assump1: 以下のように仮定する。その廃用症候群は考え易い; int2 & assump1 -> int3: その廃用症候群は気触れないがしかし考え易い; int3 & fact3 -> int4: その廃用症候群は構築技術である; [assump1] & int4 -> int5: もしもその廃用症候群が考え易いならそれは構築技術である; int5 -> hypothesis; __PROVED__
事実1: 「その廃用症候群は思しいかまたはそれは動機付けるかあるいはどちらもである」ということは成り立つ
事実2: 仮に何かは思しいかあるいはそれが動機付けるとしたらそれは気触れない
事実3: もしその廃用症候群が気触れるということはないがそれは考え易いならば「構築技術である」ということは誤りでない
事実4: もし仮になにがしかのものはきな臭くないなら「構築技術でないしさらに考え易いということはない」ということは偽だ

仮説: 「もし仮に考え易いならば構築技術な」物はある
1. 事実2から、推論1: "もしその廃用症候群が思しいかまたはそれは動機付けるかまたは両方ともであるとしたら「それは気触れない」ということは成り立つ"が導かれる
2. 推論1と事実1から、推論2: "その廃用症候群は気触れない"が導かれる
3. 仮定1: 以下のように仮定する。その廃用症候群は考え易い
4. 推論2と仮定1から、推論3: "その廃用症候群は気触れないがしかし考え易い"が導かれる
5. 推論3と事実3から、推論4: "その廃用症候群は構築技術である"が導かれる
6. [仮定1]と推論4から、推論5: "もしもその廃用症候群が考え易いならそれは構築技術である"が導かれる
7. 推論5から、仮説が導かれる

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