「この武技は著しいということはなくてしかも変換しない」ということは成り立たない
fact1: このＰＣウェブは乗り移らない fact2: もし仮にこのＰＣウェブが乗り移らないならばそれは及び難いということはない一方で外部委託する fact3: 「この武技は著しいけど変換しない」ということは成り立たない fact4: このＰＣウェブは外部委託すれば「この武技は著しかないけどそれは変換する」ということは成り立たない fact5: 「もし仮に何らかのものは進化し易いとすると「それは騙され易いししかもそれは脱帽するということはない」ということは成り立つということはない」ということは真実である fact6: もしも「このＰＣウェブは外部委託する」ということは確かであるとすると「この武技は著しかなくてしかも変換するということはない」ということは事実と異なる fact7: 「この武技は著しかないが変換する」ということは嘘である fact8: もしこのＰＣウェブが乗り移らないなら及び難くない fact9: このちげえは乗り移らない fact10: このＰＣウェブは著しい fact11: 仮にこのＰＣウェブは外部委託すれば「この武技は著しいがしかし変換しない」ということは成り立たない fact12: どれもこれもは進化し易い
fact2 & fact1 -> int1: このＰＣウェブは及び難くないけれど外部委託する; int1 -> int2: このＰＣウェブは外部委託する; int2 & fact6 -> hypothesis;
「この武技は著しかないし更に変換しない」ということは真実だ
fact14 -> int3: このＰＣウェブは進化し易いとしたら「それは騙され易いけど脱帽しない」ということは成り立たない; fact13 -> int4: このＰＣウェブは進化し易い; int3 & int4 -> int5: 「「このＰＣウェブは騙され易いけれど脱帽するということはない」ということは嘘でない」ということは偽である; int5 -> int6: それは騙され易いけど脱帽しないというものはない; int6 -> int7: 「この武技は騙され易いがそれは脱帽しない」ということは成り立たない;
$facts$ = fact1: このＰＣウェブは乗り移らない fact2: もし仮にこのＰＣウェブが乗り移らないならばそれは及び難いということはない一方で外部委託する fact3: 「この武技は著しいけど変換しない」ということは成り立たない fact4: このＰＣウェブは外部委託すれば「この武技は著しかないけどそれは変換する」ということは成り立たない fact5: 「もし仮に何らかのものは進化し易いとすると「それは騙され易いししかもそれは脱帽するということはない」ということは成り立つということはない」ということは真実である fact6: もしも「このＰＣウェブは外部委託する」ということは確かであるとすると「この武技は著しかなくてしかも変換するということはない」ということは事実と異なる fact7: 「この武技は著しかないが変換する」ということは嘘である fact8: もしこのＰＣウェブが乗り移らないなら及び難くない fact9: このちげえは乗り移らない fact10: このＰＣウェブは著しい fact11: 仮にこのＰＣウェブは外部委託すれば「この武技は著しいがしかし変換しない」ということは成り立たない fact12: どれもこれもは進化し易い ; $hypothesis$ = 「この武技は著しいということはなくてしかも変換しない」ということは成り立たない ; $proof$ = 
fact2 & fact1 -> int1: このＰＣウェブは及び難くないけれど外部委託する; int1 -> int2: このＰＣウェブは外部委託する; int2 & fact6 -> hypothesis; __PROVED__
事実1: このＰＣウェブは乗り移らない
事実2: もし仮にこのＰＣウェブが乗り移らないならばそれは及び難いということはない一方で外部委託する
事実3: 「この武技は著しいけど変換しない」ということは成り立たない
事実4: このＰＣウェブは外部委託すれば「この武技は著しかないけどそれは変換する」ということは成り立たない
事実5: 「もし仮に何らかのものは進化し易いとすると「それは騙され易いししかもそれは脱帽するということはない」ということは成り立つということはない」ということは真実である
事実6: もしも「このＰＣウェブは外部委託する」ということは確かであるとすると「この武技は著しかなくてしかも変換するということはない」ということは事実と異なる
事実7: 「この武技は著しかないが変換する」ということは嘘である
事実8: もしこのＰＣウェブが乗り移らないなら及び難くない
事実9: このちげえは乗り移らない
事実10: このＰＣウェブは著しい
事実11: 仮にこのＰＣウェブは外部委託すれば「この武技は著しいがしかし変換しない」ということは成り立たない
事実12: どれもこれもは進化し易い

仮説: 「この武技は著しいということはなくてしかも変換しない」ということは成り立たない
1. 事実2と事実1から、推論1: "このＰＣウェブは及び難くないけれど外部委託する"が導かれる
2. 推論1から、推論2: "このＰＣウェブは外部委託する"が導かれる
3. 推論2と事実6から、仮説が導かれる

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