「この小座敷が交雑するということはないしその上成長記録でない」ということは確かである
fact1: とあるものが偵察するとすれば成長記録でない fact2: このビッグチャンスは御するとしたら「この制御装置は御する」ということは事実である fact3: あの軽躁はマーケットシェアでない一方でそれは御魂磨きである fact4: 「このビッグチャンスは筋グリコーゲンでないし恐ろしくない」ということは間違っているとすると「御する」ということは本当だ fact5: もしこの年金財政上は御しないならば「この制御装置は制御盤でないけれどそれは古めかしい」ということは確かであるということはない fact6: もしあの軽躁がマーケットシェアでないけれど御魂磨きであるとすればあの酸素系漂白剤は御魂磨きである fact7: 「このビッグチャンスは成長記録でない」ということは事実だとすればこの小座敷は交雑するということはないし更に成長記録でない fact8: それは筋グリコーゲンでなくてまた恐ろしくないというものはない fact9: この年金財政上は御魂磨きでない fact10: この年金財政上は交雑しない fact11: もしその酸素系漂白剤が古めかしいということはない一方でそれが偵察するとしたらこの制御装置は古めかしくない fact12: 「このビッグチャンスはマーケットシェアだし根気良い」ということは誤りだ fact13: 仮にこの年金財政上は成長記録でないとしたら「この小座敷は交雑しないがしかし御魂磨きだ」ということは誤っている fact14: この制御装置は分家でないし更に人歌心であるということはない fact15: もしこの制御装置は成長記録でないとしたら「古めかしいししかもそれは交雑する」ということは偽だ fact16: もしも「「「古めかしくないしさらに御する」ということは誤りでない」ということは成り立たない」ものがあるとするとこの制御装置は偵察する fact17: 何かは偵察するということはない一方で交雑する fact18: もし「あるものは同船するけどそれは示し易くない」ということは偽であるならそれは御しない fact19: 「ある物は腫脹しないけどそれは分家だ」ということは確かである fact20: その自発呼吸は成長記録であるということはないしさらにそれは温かくない fact21: とある物が同船しないなら御するということはない fact22: この年金財政上は御魂磨きでないならば「「それが同船するしその上それは示し易くない」ということは成り立つ」ということは誤りだ fact23: もし仮に「あるものは御するが古めかしくない」ということは本当ならそれは制御盤でない fact24: もし「「制御盤でなくて加えて古めかしい」ということは成り立たない」ものがあるとすればあのビッグチャンスは偵察する fact25: 「この年金財政上は制御盤だ一方で同船しない」ということは偽である fact26: もし「この年金財政上は同船するということはない」ということは事実であるならば御するということはない
fact18 -> int1: もし「この年金財政上は同船する一方で示し易くない」ということは偽だとしたらそれは御しない; fact22 & fact9 -> int2: 「この年金財政上は同船する一方で示し易くない」ということは成り立たない; int1 & int2 -> int3: この年金財政上は御するということはない; int3 & fact5 -> int4: 「この制御装置は制御盤でないけど古めかしい」ということは真実であるということはない; int4 -> int5: 「「制御盤でないし古めかしい」ということは偽な」ものはある; int5 & fact24 -> int6: このビッグチャンスは偵察する; fact1 -> int7: もし仮にこのビッグチャンスが偵察するとしたらそれは成長記録だということはない; int6 & int7 -> int8: このビッグチャンスは成長記録でない; int8 & fact7 -> hypothesis;
「この小座敷は交雑しなくてしかもそれは成長記録でない」ということは成り立つということはない
fact28 -> int9: もし仮にこの制御装置は御するけれど古めかしいということはないとしたらそれは制御盤でない; fact32 -> int10: 「このビッグチャンスは筋グリコーゲンでないしさらに恐ろしくない」ということは事実と異なる; fact30 & int10 -> int11: このビッグチャンスは御する; fact29 & int11 -> int12: この制御装置は御する; fact31 & fact27 -> int13: その酸素系漂白剤は御魂磨きだ;
$facts$ = fact1: とあるものが偵察するとすれば成長記録でない fact2: このビッグチャンスは御するとしたら「この制御装置は御する」ということは事実である fact3: あの軽躁はマーケットシェアでない一方でそれは御魂磨きである fact4: 「このビッグチャンスは筋グリコーゲンでないし恐ろしくない」ということは間違っているとすると「御する」ということは本当だ fact5: もしこの年金財政上は御しないならば「この制御装置は制御盤でないけれどそれは古めかしい」ということは確かであるということはない fact6: もしあの軽躁がマーケットシェアでないけれど御魂磨きであるとすればあの酸素系漂白剤は御魂磨きである fact7: 「このビッグチャンスは成長記録でない」ということは事実だとすればこの小座敷は交雑するということはないし更に成長記録でない fact8: それは筋グリコーゲンでなくてまた恐ろしくないというものはない fact9: この年金財政上は御魂磨きでない fact10: この年金財政上は交雑しない fact11: もしその酸素系漂白剤が古めかしいということはない一方でそれが偵察するとしたらこの制御装置は古めかしくない fact12: 「このビッグチャンスはマーケットシェアだし根気良い」ということは誤りだ fact13: 仮にこの年金財政上は成長記録でないとしたら「この小座敷は交雑しないがしかし御魂磨きだ」ということは誤っている fact14: この制御装置は分家でないし更に人歌心であるということはない fact15: もしこの制御装置は成長記録でないとしたら「古めかしいししかもそれは交雑する」ということは偽だ fact16: もしも「「「古めかしくないしさらに御する」ということは誤りでない」ということは成り立たない」ものがあるとするとこの制御装置は偵察する fact17: 何かは偵察するということはない一方で交雑する fact18: もし「あるものは同船するけどそれは示し易くない」ということは偽であるならそれは御しない fact19: 「ある物は腫脹しないけどそれは分家だ」ということは確かである fact20: その自発呼吸は成長記録であるということはないしさらにそれは温かくない fact21: とある物が同船しないなら御するということはない fact22: この年金財政上は御魂磨きでないならば「「それが同船するしその上それは示し易くない」ということは成り立つ」ということは誤りだ fact23: もし仮に「あるものは御するが古めかしくない」ということは本当ならそれは制御盤でない fact24: もし「「制御盤でなくて加えて古めかしい」ということは成り立たない」ものがあるとすればあのビッグチャンスは偵察する fact25: 「この年金財政上は制御盤だ一方で同船しない」ということは偽である fact26: もし「この年金財政上は同船するということはない」ということは事実であるならば御するということはない ; $hypothesis$ = 「この小座敷が交雑するということはないしその上成長記録でない」ということは確かである ; $proof$ = 
fact18 -> int1: もし「この年金財政上は同船する一方で示し易くない」ということは偽だとしたらそれは御しない; fact22 & fact9 -> int2: 「この年金財政上は同船する一方で示し易くない」ということは成り立たない; int1 & int2 -> int3: この年金財政上は御するということはない; int3 & fact5 -> int4: 「この制御装置は制御盤でないけど古めかしい」ということは真実であるということはない; int4 -> int5: 「「制御盤でないし古めかしい」ということは偽な」ものはある; int5 & fact24 -> int6: このビッグチャンスは偵察する; fact1 -> int7: もし仮にこのビッグチャンスが偵察するとしたらそれは成長記録だということはない; int6 & int7 -> int8: このビッグチャンスは成長記録でない; int8 & fact7 -> hypothesis; __PROVED__
事実1: とあるものが偵察するとすれば成長記録でない
事実2: このビッグチャンスは御するとしたら「この制御装置は御する」ということは事実である
事実3: あの軽躁はマーケットシェアでない一方でそれは御魂磨きである
事実4: 「このビッグチャンスは筋グリコーゲンでないし恐ろしくない」ということは間違っているとすると「御する」ということは本当だ
事実5: もしこの年金財政上は御しないならば「この制御装置は制御盤でないけれどそれは古めかしい」ということは確かであるということはない
事実6: もしあの軽躁がマーケットシェアでないけれど御魂磨きであるとすればあの酸素系漂白剤は御魂磨きである
事実7: 「このビッグチャンスは成長記録でない」ということは事実だとすればこの小座敷は交雑するということはないし更に成長記録でない
事実8: それは筋グリコーゲンでなくてまた恐ろしくないというものはない
事実9: この年金財政上は御魂磨きでない
事実10: この年金財政上は交雑しない
事実11: もしその酸素系漂白剤が古めかしいということはない一方でそれが偵察するとしたらこの制御装置は古めかしくない
事実12: 「このビッグチャンスはマーケットシェアだし根気良い」ということは誤りだ
事実13: 仮にこの年金財政上は成長記録でないとしたら「この小座敷は交雑しないがしかし御魂磨きだ」ということは誤っている
事実14: この制御装置は分家でないし更に人歌心であるということはない
事実15: もしこの制御装置は成長記録でないとしたら「古めかしいししかもそれは交雑する」ということは偽だ
事実16: もしも「「「古めかしくないしさらに御する」ということは誤りでない」ということは成り立たない」ものがあるとするとこの制御装置は偵察する
事実17: 何かは偵察するということはない一方で交雑する
事実18: もし「あるものは同船するけどそれは示し易くない」ということは偽であるならそれは御しない
事実19: 「ある物は腫脹しないけどそれは分家だ」ということは確かである
事実20: その自発呼吸は成長記録であるということはないしさらにそれは温かくない
事実21: とある物が同船しないなら御するということはない
事実22: この年金財政上は御魂磨きでないならば「「それが同船するしその上それは示し易くない」ということは成り立つ」ということは誤りだ
事実23: もし仮に「あるものは御するが古めかしくない」ということは本当ならそれは制御盤でない
事実24: もし「「制御盤でなくて加えて古めかしい」ということは成り立たない」ものがあるとすればあのビッグチャンスは偵察する
事実25: 「この年金財政上は制御盤だ一方で同船しない」ということは偽である
事実26: もし「この年金財政上は同船するということはない」ということは事実であるならば御するということはない

仮説: 「この小座敷が交雑するということはないしその上成長記録でない」ということは確かである
1. 事実18から、推論1: "もし「この年金財政上は同船する一方で示し易くない」ということは偽だとしたらそれは御しない"が導かれる
2. 事実22と事実9から、推論2: "「この年金財政上は同船する一方で示し易くない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "この年金財政上は御するということはない"が導かれる
4. 推論3と事実5から、推論4: "「この制御装置は制御盤でないけど古めかしい」ということは真実であるということはない"が導かれる
5. 推論4から、推論5: "「「制御盤でないし古めかしい」ということは偽な」ものはある"が導かれる
6. 推論5と事実24から、推論6: "このビッグチャンスは偵察する"が導かれる
7. 事実1から、推論7: "もし仮にこのビッグチャンスが偵察するとしたらそれは成長記録だということはない"が導かれる
8. 推論6と推論7から、推論8: "このビッグチャンスは成長記録でない"が導かれる
9. 推論8と事実7から、仮説が導かれる

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