「あのケーディス等は商事法務研究会でないかあるいはそれは生温いかあるいは両方ともだ」ということは誤りだ
fact1: 仮に「断定し難くない」ものがあるならばあの朝貢は生温い fact2: その朝貢は生温いとすると「あのケーディス等は商事法務研究会でないか生温いかまたはどちらもである」ということは成り立たない fact3: その動作化は形成し易くない fact4: 仮にその朝貢が形成し易くて商事法務研究会だとするとその動作化は商事法務研究会でない fact5: もしもその動作化は形成し易くないとすれば断定し難くない
fact5 & fact3 -> int1: その動作化は断定し難くない; int1 -> int2: 何らかのものは断定し難くない; int2 & fact1 -> int3: その朝貢は生温い; int3 & fact2 -> hypothesis;
その動作化は商事法務研究会でない
$facts$ = fact1: 仮に「断定し難くない」ものがあるならばあの朝貢は生温い fact2: その朝貢は生温いとすると「あのケーディス等は商事法務研究会でないか生温いかまたはどちらもである」ということは成り立たない fact3: その動作化は形成し易くない fact4: 仮にその朝貢が形成し易くて商事法務研究会だとするとその動作化は商事法務研究会でない fact5: もしもその動作化は形成し易くないとすれば断定し難くない ; $hypothesis$ = 「あのケーディス等は商事法務研究会でないかあるいはそれは生温いかあるいは両方ともだ」ということは誤りだ ; $proof$ = 
fact5 & fact3 -> int1: その動作化は断定し難くない; int1 -> int2: 何らかのものは断定し難くない; int2 & fact1 -> int3: その朝貢は生温い; int3 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「断定し難くない」ものがあるならばあの朝貢は生温い
事実2: その朝貢は生温いとすると「あのケーディス等は商事法務研究会でないか生温いかまたはどちらもである」ということは成り立たない
事実3: その動作化は形成し易くない
事実4: 仮にその朝貢が形成し易くて商事法務研究会だとするとその動作化は商事法務研究会でない
事実5: もしもその動作化は形成し易くないとすれば断定し難くない

仮説: 「あのケーディス等は商事法務研究会でないかあるいはそれは生温いかあるいは両方ともだ」ということは誤りだ
1. 事実5と事実3から、推論1: "その動作化は断定し難くない"が導かれる
2. 推論1から、推論2: "何らかのものは断定し難くない"が導かれる
3. 推論2と事実1から、推論3: "その朝貢は生温い"が導かれる
4. 推論3と事実2から、仮説が導かれる

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