「仮に値すれば「無しか用心深くない」ということは偽である」ものはある
fact1: もしなにかは用心深いならば「天井高であるかそれはプロキシサーバでないかまたは両方ともである」ということは誤りである fact2: 仮にこの脊椎骨は重たいなら「値するかそれは巨大計算脳でないかどちらもである」ということは成り立たない fact3: もし仮にその混載仕立て情報は弁ずるとすると「運営方法であるかもしくはそれはＣＫＴでない」ということは本当でない fact4: 仮にこの脊椎骨は値するとすると「無しかまたは用心深くないかまたは両方である」ということは間違っている
fact4 -> hypothesis;
fact4 -> hypothesis;
もし仮にその四十八巻伝は用心深いとすると「それは天井高であるかもしくはそれはプロキシサーバでない」ということは成り立たない
fact5 -> hypothesis;
$facts$ = fact1: もしなにかは用心深いならば「天井高であるかそれはプロキシサーバでないかまたは両方ともである」ということは誤りである fact2: 仮にこの脊椎骨は重たいなら「値するかそれは巨大計算脳でないかどちらもである」ということは成り立たない fact3: もし仮にその混載仕立て情報は弁ずるとすると「運営方法であるかもしくはそれはＣＫＴでない」ということは本当でない fact4: 仮にこの脊椎骨は値するとすると「無しかまたは用心深くないかまたは両方である」ということは間違っている ; $hypothesis$ = 「仮に値すれば「無しか用心深くない」ということは偽である」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしなにかは用心深いならば「天井高であるかそれはプロキシサーバでないかまたは両方ともである」ということは誤りである
事実2: 仮にこの脊椎骨は重たいなら「値するかそれは巨大計算脳でないかどちらもである」ということは成り立たない
事実3: もし仮にその混載仕立て情報は弁ずるとすると「運営方法であるかもしくはそれはＣＫＴでない」ということは本当でない
事実4: 仮にこの脊椎骨は値するとすると「無しかまたは用心深くないかまたは両方である」ということは間違っている

仮説: 「仮に値すれば「無しか用心深くない」ということは偽である」ものはある
1. 事実4から、仮説が導かれる

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