「この京中支配はしみったれなくて更にテコンドーでない」ということは成り立たない
fact1: もし仮にこの成長会計が顕在化し易いとしたらあの沖縄社会は顕在化し易い fact2: もし「公許する」物はあれば「この京中支配はがめつかないしおまけに六歳以上であるということはない」ということは間違いだ fact3: 仮になにかは抵当権総額であるとしたら「「それは公許するけれど計算し尽くさない」ということは事実である」ということは偽である fact4: 「あのボールトはクルージングでないがしかし思い易い」ということは間違いだ fact5: 全ての物は顕在化し易くないがしかし奮起する fact6: 何らかのものは顕在化し易くないが奮起するなら抵当権総額でない fact7: もしなにかは無期懲役だとしたら抵当権総額である fact8: 「この京中支配はしみったれるがそれはテコンドーでない」ということは嘘である fact9: もしこの策定体制がしみったれるということはないとするとこの京中支配はしみったれるということはない fact10: もしあの沖縄社会がクルージングであるかもしくは奮起しないかもしくは両方だとするとそれは奮起しない fact11: 「もしとあるものが顕在化し易いとしたらクルージングであるか奮起しないかもしくは両方だ」ということは本当だ fact12: 「この京中支配はしみったれないしかつそれはテコンドーでない」ということは成り立たない fact13: 「この京中支配はしみったれないがしかしテコンドーである」ということは成り立たない fact14: もしあの沖縄社会が奮起しないとしたらこの策定体制はしみったれない fact15: 仮に「何かは公許するけれどそれは計算し尽くさない」ということは誤っているとすればそれはテコンドーでない
fact12 -> hypothesis;
fact12 -> hypothesis;
この京中支配はしみったれるということはないしそれはテコンドーでない
fact19 -> int1: 仮にあの沖縄社会が顕在化し易いとするとそれはクルージングであるか奮起しないかもしくは両方だ; fact17 -> int2: 「この京中支配は公許する一方で計算し尽くさない」ということは誤りであるならばテコンドーでない; fact18 -> int3: 仮にこの京中支配は抵当権総額なら「公許するしそれは計算し尽くさない」ということは成り立たない; fact22 -> int4: もし仮にこの京中支配は無期懲役であるとすれば「それは抵当権総額でない」ということは偽だ;
$facts$ = fact1: もし仮にこの成長会計が顕在化し易いとしたらあの沖縄社会は顕在化し易い fact2: もし「公許する」物はあれば「この京中支配はがめつかないしおまけに六歳以上であるということはない」ということは間違いだ fact3: 仮になにかは抵当権総額であるとしたら「「それは公許するけれど計算し尽くさない」ということは事実である」ということは偽である fact4: 「あのボールトはクルージングでないがしかし思い易い」ということは間違いだ fact5: 全ての物は顕在化し易くないがしかし奮起する fact6: 何らかのものは顕在化し易くないが奮起するなら抵当権総額でない fact7: もしなにかは無期懲役だとしたら抵当権総額である fact8: 「この京中支配はしみったれるがそれはテコンドーでない」ということは嘘である fact9: もしこの策定体制がしみったれるということはないとするとこの京中支配はしみったれるということはない fact10: もしあの沖縄社会がクルージングであるかもしくは奮起しないかもしくは両方だとするとそれは奮起しない fact11: 「もしとあるものが顕在化し易いとしたらクルージングであるか奮起しないかもしくは両方だ」ということは本当だ fact12: 「この京中支配はしみったれないしかつそれはテコンドーでない」ということは成り立たない fact13: 「この京中支配はしみったれないがしかしテコンドーである」ということは成り立たない fact14: もしあの沖縄社会が奮起しないとしたらこの策定体制はしみったれない fact15: 仮に「何かは公許するけれどそれは計算し尽くさない」ということは誤っているとすればそれはテコンドーでない ; $hypothesis$ = 「この京中支配はしみったれなくて更にテコンドーでない」ということは成り立たない ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: もし仮にこの成長会計が顕在化し易いとしたらあの沖縄社会は顕在化し易い
事実2: もし「公許する」物はあれば「この京中支配はがめつかないしおまけに六歳以上であるということはない」ということは間違いだ
事実3: 仮になにかは抵当権総額であるとしたら「「それは公許するけれど計算し尽くさない」ということは事実である」ということは偽である
事実4: 「あのボールトはクルージングでないがしかし思い易い」ということは間違いだ
事実5: 全ての物は顕在化し易くないがしかし奮起する
事実6: 何らかのものは顕在化し易くないが奮起するなら抵当権総額でない
事実7: もしなにかは無期懲役だとしたら抵当権総額である
事実8: 「この京中支配はしみったれるがそれはテコンドーでない」ということは嘘である
事実9: もしこの策定体制がしみったれるということはないとするとこの京中支配はしみったれるということはない
事実10: もしあの沖縄社会がクルージングであるかもしくは奮起しないかもしくは両方だとするとそれは奮起しない
事実11: 「もしとあるものが顕在化し易いとしたらクルージングであるか奮起しないかもしくは両方だ」ということは本当だ
事実12: 「この京中支配はしみったれないしかつそれはテコンドーでない」ということは成り立たない
事実13: 「この京中支配はしみったれないがしかしテコンドーである」ということは成り立たない
事実14: もしあの沖縄社会が奮起しないとしたらこの策定体制はしみったれない
事実15: 仮に「何かは公許するけれどそれは計算し尽くさない」ということは誤っているとすればそれはテコンドーでない

仮説: 「この京中支配はしみったれなくて更にテコンドーでない」ということは成り立たない
1. 事実12から、仮説が導かれる

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