あの老年人口比率は気高い
fact1: 「なんらかのものはさっさとするがそれはスーパー団子でない」ということは誤りなら気高い fact2: あの営業上は調べ上げない fact3: 「「頑是無くない」ということは事実である」ものはある fact4: なにかは調べ上げるということはないけど頑是無い fact5: この初潮は天神地祇だということはなくておまけにそれは話し難くない fact6: 「調べ上げるけれど頑是無いということはない」物はある fact7: 仮にあの試料分取量は調べ上げるなら「あの営業上は調べ上げない」ということは成り立つ fact8: もしとある物はスーパー団子であるならば「気高い」ということは本当である fact9: とある物は古城だ fact10: あの試料分取量は蛋白質リソースだ fact11: もしも「「古城でない」ということは誤りであるということはない」ものはあるとすれば「「あの老年人口比率はさっさとするけどスーパー団子でない」ということは成り立たない」ということは確かである fact12: 何らかのものは調べ上げるということはない fact13: 仮にあの老年人口比率はスーパー団子ならば「それは気高い」ということは確かである fact14: もしも「調べ上げるということはないし更に頑是無くない」ものがあるとしたらあの引き潮は古城だということはない fact15: 「あの老年人口比率はさっさとするしまたスーパー団子である」ということは偽だ fact16: もし「あの試料分取量は調べ上げる」ということは正しいならばあの営業上は調べ上げなくてそれに頑是無くない fact17: 仮に「「古城だ」ということは間違いである」物はあるとすると「「あの老年人口比率はさっさとするし更にそれはスーパー団子だ」ということは事実だ」ということは成り立たない fact18: あの試料分取量は調べ上げるし蛋白質リソースだ
fact18 -> int1: あの試料分取量は調べ上げる; int1 & fact16 -> int2: 「あの営業上は調べ上げるということはないしそれは頑是無いということはない」ということは本当だ; int2 -> int3: なにかは調べ上げなくて頑是無くない; int3 & fact14 -> int4: あの引き潮は古城でない; int4 -> int5: 「古城でない」ものはある; int5 & fact11 -> int6: 「あの老年人口比率はさっさとするけどスーパー団子でない」ということは成り立たない; fact1 -> int7: もし「あの老年人口比率はさっさとするがスーパー団子であるということはない」ということは偽であるとしたら気高い; int6 & int7 -> hypothesis;
$facts$ = fact1: 「なんらかのものはさっさとするがそれはスーパー団子でない」ということは誤りなら気高い fact2: あの営業上は調べ上げない fact3: 「「頑是無くない」ということは事実である」ものはある fact4: なにかは調べ上げるということはないけど頑是無い fact5: この初潮は天神地祇だということはなくておまけにそれは話し難くない fact6: 「調べ上げるけれど頑是無いということはない」物はある fact7: 仮にあの試料分取量は調べ上げるなら「あの営業上は調べ上げない」ということは成り立つ fact8: もしとある物はスーパー団子であるならば「気高い」ということは本当である fact9: とある物は古城だ fact10: あの試料分取量は蛋白質リソースだ fact11: もしも「「古城でない」ということは誤りであるということはない」ものはあるとすれば「「あの老年人口比率はさっさとするけどスーパー団子でない」ということは成り立たない」ということは確かである fact12: 何らかのものは調べ上げるということはない fact13: 仮にあの老年人口比率はスーパー団子ならば「それは気高い」ということは確かである fact14: もしも「調べ上げるということはないし更に頑是無くない」ものがあるとしたらあの引き潮は古城だということはない fact15: 「あの老年人口比率はさっさとするしまたスーパー団子である」ということは偽だ fact16: もし「あの試料分取量は調べ上げる」ということは正しいならばあの営業上は調べ上げなくてそれに頑是無くない fact17: 仮に「「古城だ」ということは間違いである」物はあるとすると「「あの老年人口比率はさっさとするし更にそれはスーパー団子だ」ということは事実だ」ということは成り立たない fact18: あの試料分取量は調べ上げるし蛋白質リソースだ ; $hypothesis$ = あの老年人口比率は気高い ; $proof$ = 
fact18 -> int1: あの試料分取量は調べ上げる; int1 & fact16 -> int2: 「あの営業上は調べ上げるということはないしそれは頑是無いということはない」ということは本当だ; int2 -> int3: なにかは調べ上げなくて頑是無くない; int3 & fact14 -> int4: あの引き潮は古城でない; int4 -> int5: 「古城でない」ものはある; int5 & fact11 -> int6: 「あの老年人口比率はさっさとするけどスーパー団子でない」ということは成り立たない; fact1 -> int7: もし「あの老年人口比率はさっさとするがスーパー団子であるということはない」ということは偽であるとしたら気高い; int6 & int7 -> hypothesis; __PROVED__
事実1: 「なんらかのものはさっさとするがそれはスーパー団子でない」ということは誤りなら気高い
事実2: あの営業上は調べ上げない
事実3: 「「頑是無くない」ということは事実である」ものはある
事実4: なにかは調べ上げるということはないけど頑是無い
事実5: この初潮は天神地祇だということはなくておまけにそれは話し難くない
事実6: 「調べ上げるけれど頑是無いということはない」物はある
事実7: 仮にあの試料分取量は調べ上げるなら「あの営業上は調べ上げない」ということは成り立つ
事実8: もしとある物はスーパー団子であるならば「気高い」ということは本当である
事実9: とある物は古城だ
事実10: あの試料分取量は蛋白質リソースだ
事実11: もしも「「古城でない」ということは誤りであるということはない」ものはあるとすれば「「あの老年人口比率はさっさとするけどスーパー団子でない」ということは成り立たない」ということは確かである
事実12: 何らかのものは調べ上げるということはない
事実13: 仮にあの老年人口比率はスーパー団子ならば「それは気高い」ということは確かである
事実14: もしも「調べ上げるということはないし更に頑是無くない」ものがあるとしたらあの引き潮は古城だということはない
事実15: 「あの老年人口比率はさっさとするしまたスーパー団子である」ということは偽だ
事実16: もし「あの試料分取量は調べ上げる」ということは正しいならばあの営業上は調べ上げなくてそれに頑是無くない
事実17: 仮に「「古城だ」ということは間違いである」物はあるとすると「「あの老年人口比率はさっさとするし更にそれはスーパー団子だ」ということは事実だ」ということは成り立たない
事実18: あの試料分取量は調べ上げるし蛋白質リソースだ

仮説: あの老年人口比率は気高い
1. 事実18から、推論1: "あの試料分取量は調べ上げる"が導かれる
2. 推論1と事実16から、推論2: "「あの営業上は調べ上げるということはないしそれは頑是無いということはない」ということは本当だ"が導かれる
3. 推論2から、推論3: "なにかは調べ上げなくて頑是無くない"が導かれる
4. 推論3と事実14から、推論4: "あの引き潮は古城でない"が導かれる
5. 推論4から、推論5: "「古城でない」ものはある"が導かれる
6. 推論5と事実11から、推論6: "「あの老年人口比率はさっさとするけどスーパー団子でない」ということは成り立たない"が導かれる
7. 事実1から、推論7: "もし「あの老年人口比率はさっさとするがスーパー団子であるということはない」ということは偽であるとしたら気高い"が導かれる
8. 推論6と推論7から、仮説が導かれる

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