この金融大国は巨万である
fact1: その二十軒は改装でない fact2: もし「なんらかのものはすげなくない」ということは本当だとすると「しょぼくないかあるいはそれは幻曲馬団である」ということは偽である fact3: もし仮に「「とあるものはしょぼいし巨万だ」ということは成り立つ」ということは成り立たないとするとそれは巨万でない fact4: 「しょぼいということはない」物はある fact5: あの公領はすげない fact6: もし「「しょぼくない」ということは本当な」ものがあるならあの公領は幻曲馬団でないがしかしすげない fact7: もしも「あの公領は幻曲馬団でないけどすげない」ということは本当であるならばこの金融大国は巨万だ fact8: もし「「しょぼくない」ということは確かである」ものがあるとすればあの公領はすげない fact9: もし仮に何かは幻曲馬団でないとしたら「それはしょぼいし巨万だ」ということは間違いだ fact10: もしもその二十軒は改装でないとしたらそれは巨万でない fact11: しょぼいものはある
fact4 & fact6 -> int1: あの公領は幻曲馬団でない一方ですげない; int1 & fact7 -> hypothesis;
fact4 & fact6 -> int1: (¬{B}{a} & {C}{a}); int1 & fact7 -> hypothesis;
「ＣＨＩＰでない」ものはある
fact13 -> int2: もしもこの金融大国はすげなくないとすると「それはしょぼくないかまたは幻曲馬団である」ということは成り立たない; fact14 & fact12 -> int3: その二十軒は巨万でない; int3 -> int4: 「巨万だということはない」物はある;
$facts$ = fact1: その二十軒は改装でない fact2: もし「なんらかのものはすげなくない」ということは本当だとすると「しょぼくないかあるいはそれは幻曲馬団である」ということは偽である fact3: もし仮に「「とあるものはしょぼいし巨万だ」ということは成り立つ」ということは成り立たないとするとそれは巨万でない fact4: 「しょぼいということはない」物はある fact5: あの公領はすげない fact6: もし「「しょぼくない」ということは本当な」ものがあるならあの公領は幻曲馬団でないがしかしすげない fact7: もしも「あの公領は幻曲馬団でないけどすげない」ということは本当であるならばこの金融大国は巨万だ fact8: もし「「しょぼくない」ということは確かである」ものがあるとすればあの公領はすげない fact9: もし仮に何かは幻曲馬団でないとしたら「それはしょぼいし巨万だ」ということは間違いだ fact10: もしもその二十軒は改装でないとしたらそれは巨万でない fact11: しょぼいものはある ; $hypothesis$ = この金融大国は巨万である ; $proof$ = 
fact4 & fact6 -> int1: あの公領は幻曲馬団でない一方ですげない; int1 & fact7 -> hypothesis; __PROVED__
事実1: その二十軒は改装でない
事実2: もし「なんらかのものはすげなくない」ということは本当だとすると「しょぼくないかあるいはそれは幻曲馬団である」ということは偽である
事実3: もし仮に「「とあるものはしょぼいし巨万だ」ということは成り立つ」ということは成り立たないとするとそれは巨万でない
事実4: 「しょぼいということはない」物はある
事実5: あの公領はすげない
事実6: もし「「しょぼくない」ということは本当な」ものがあるならあの公領は幻曲馬団でないがしかしすげない
事実7: もしも「あの公領は幻曲馬団でないけどすげない」ということは本当であるならばこの金融大国は巨万だ
事実8: もし「「しょぼくない」ということは確かである」ものがあるとすればあの公領はすげない
事実9: もし仮に何かは幻曲馬団でないとしたら「それはしょぼいし巨万だ」ということは間違いだ
事実10: もしもその二十軒は改装でないとしたらそれは巨万でない
事実11: しょぼいものはある

仮説: この金融大国は巨万である
1. 事実4と事実6から、推論1: "あの公領は幻曲馬団でない一方ですげない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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