この表面下はがめつい
fact1: この表面下が御強くないとするとそれはがめつい fact2: あの競り科は出入りし易いということはないけど御強い fact3: その消化吸収機能は新規参入でないけど薄らぐ fact4: もし仮に「なんらかのものは御強い一方で出入りし易くない」ということは誤っているなら薄らぐ fact5: もし仮に出入りし易いということはないものが御強くないとするとそれはがめつかない fact6: 仮に「なにがしかのものが御強い一方でそれが薄らはない」ということは間違いであるとしたらがめつい fact7: もしあの競り科は御強いとすれば「この表面下が御強い一方で薄らはない」ということは間違いである fact8: もし仮に「なにかは御強いものでありがめつかない」ということは誤っているならそれは出入りし易い fact9: もしも「この表面下は薄らぐがしかし出入りし易くない」ということは成り立たないとすれば御強い fact10: この表面下は図太くないが十一時半である fact11: あの競り科は規則正しい
fact2 -> int1: あの競り科は御強い; int1 & fact7 -> int2: 「この表面下は御強いが薄らぐということはない」ということは正しいということはない; fact6 -> int3: 仮に「この表面下は御強いけど薄らぐということはない」ということは事実でないならば「がめつい」ということは成り立つ; int2 & int3 -> hypothesis;
この表面下はがめつかない
fact12 -> int4: この表面下は出入りし易くないしそれに御強くないならばそれはがめつかない;
$facts$ = fact1: この表面下が御強くないとするとそれはがめつい fact2: あの競り科は出入りし易いということはないけど御強い fact3: その消化吸収機能は新規参入でないけど薄らぐ fact4: もし仮に「なんらかのものは御強い一方で出入りし易くない」ということは誤っているなら薄らぐ fact5: もし仮に出入りし易いということはないものが御強くないとするとそれはがめつかない fact6: 仮に「なにがしかのものが御強い一方でそれが薄らはない」ということは間違いであるとしたらがめつい fact7: もしあの競り科は御強いとすれば「この表面下が御強い一方で薄らはない」ということは間違いである fact8: もし仮に「なにかは御強いものでありがめつかない」ということは誤っているならそれは出入りし易い fact9: もしも「この表面下は薄らぐがしかし出入りし易くない」ということは成り立たないとすれば御強い fact10: この表面下は図太くないが十一時半である fact11: あの競り科は規則正しい ; $hypothesis$ = この表面下はがめつい ; $proof$ = 
fact2 -> int1: あの競り科は御強い; int1 & fact7 -> int2: 「この表面下は御強いが薄らぐということはない」ということは正しいということはない; fact6 -> int3: 仮に「この表面下は御強いけど薄らぐということはない」ということは事実でないならば「がめつい」ということは成り立つ; int2 & int3 -> hypothesis; __PROVED__
事実1: この表面下が御強くないとするとそれはがめつい
事実2: あの競り科は出入りし易いということはないけど御強い
事実3: その消化吸収機能は新規参入でないけど薄らぐ
事実4: もし仮に「なんらかのものは御強い一方で出入りし易くない」ということは誤っているなら薄らぐ
事実5: もし仮に出入りし易いということはないものが御強くないとするとそれはがめつかない
事実6: 仮に「なにがしかのものが御強い一方でそれが薄らはない」ということは間違いであるとしたらがめつい
事実7: もしあの競り科は御強いとすれば「この表面下が御強い一方で薄らはない」ということは間違いである
事実8: もし仮に「なにかは御強いものでありがめつかない」ということは誤っているならそれは出入りし易い
事実9: もしも「この表面下は薄らぐがしかし出入りし易くない」ということは成り立たないとすれば御強い
事実10: この表面下は図太くないが十一時半である
事実11: あの競り科は規則正しい

仮説: この表面下はがめつい
1. 事実2から、推論1: "あの競り科は御強い"が導かれる
2. 推論1と事実7から、推論2: "「この表面下は御強いが薄らぐということはない」ということは正しいということはない"が導かれる
3. 事実6から、推論3: "仮に「この表面下は御強いけど薄らぐということはない」ということは事実でないならば「がめつい」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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