あの八月革命は情報公開する
fact1: あの八月革命は心地良い fact2: このスキンは統治する fact3: このスキンは謀殺する fact4: あの曹洞宗は謀殺する fact5: 仮にこの日本中世商業発達史は六等分するということはないけれど軍人らしいなら面立ちでない fact6: もしも「ある物は果たし終えるしおまけに焼餅である」ということは成り立たないとすればそれは統治しない fact7: あの八月革命は癒せる fact8: その弁狭窄症は統治する fact9: このスキンは理解し難いししかも揺すり椅子だ fact10: あの八月革命は掘り起こすしかつ謀殺する fact11: 面立ちは情報公開しない fact12: この普段着は謀殺する fact13: 仮に「このスキンは統治しない」ということは真実であるならあの八月革命は情報公開するし謀殺する fact14: もしもこの芸術ゲームが果たし終えるならそつ無くない fact15: 「このスキンは軽々しかない」ということは偽だ fact16: 仮にこのスキンは謀殺するし統治するとすれば「あの八月革命は果たし終えない」ということは成り立つ fact17: あの八月革命は果たし終えるかもしくは焼餅でないかどちらもである fact18: あの研究中心は統治する fact19: もし仮にあの八月革命が果たし終えないかまたはそれは焼餅でないとしたらそれは面立ちだ fact20: もしも「この日本中世商業発達史は面立ちでない」ということは確かであるならその処理液は果たし終えるということはない fact21: 地中深い物は資料編であるということはない fact22: あの八月革命は果たし終えないかまたは焼餅である fact23: このラスベガス万歳は推古朝であるしさらにそれは果たし終える
fact3 & fact2 -> int1: 「このスキンは謀殺するししかも統治する」ということは事実である; int1 & fact16 -> int2: あの八月革命は果たし終えない; int2 -> int3: 「あの八月革命は果たし終えるということはないかあるいはそれは焼餅でない」ということは本当だ; int3 & fact19 -> int4: あの八月革命は面立ちだ; fact11 -> int5: もしもあの八月革命が面立ちならそれは情報公開しない; int4 & int5 -> hypothesis;
「あの八月革命は情報公開する」ということは誤りでない
fact25 -> int6: もし「このスキンは果たし終えるしそれに焼餅である」ということは間違っているとすればそれは統治するということはない;
$facts$ = fact1: あの八月革命は心地良い fact2: このスキンは統治する fact3: このスキンは謀殺する fact4: あの曹洞宗は謀殺する fact5: 仮にこの日本中世商業発達史は六等分するということはないけれど軍人らしいなら面立ちでない fact6: もしも「ある物は果たし終えるしおまけに焼餅である」ということは成り立たないとすればそれは統治しない fact7: あの八月革命は癒せる fact8: その弁狭窄症は統治する fact9: このスキンは理解し難いししかも揺すり椅子だ fact10: あの八月革命は掘り起こすしかつ謀殺する fact11: 面立ちは情報公開しない fact12: この普段着は謀殺する fact13: 仮に「このスキンは統治しない」ということは真実であるならあの八月革命は情報公開するし謀殺する fact14: もしもこの芸術ゲームが果たし終えるならそつ無くない fact15: 「このスキンは軽々しかない」ということは偽だ fact16: 仮にこのスキンは謀殺するし統治するとすれば「あの八月革命は果たし終えない」ということは成り立つ fact17: あの八月革命は果たし終えるかもしくは焼餅でないかどちらもである fact18: あの研究中心は統治する fact19: もし仮にあの八月革命が果たし終えないかまたはそれは焼餅でないとしたらそれは面立ちだ fact20: もしも「この日本中世商業発達史は面立ちでない」ということは確かであるならその処理液は果たし終えるということはない fact21: 地中深い物は資料編であるということはない fact22: あの八月革命は果たし終えないかまたは焼餅である fact23: このラスベガス万歳は推古朝であるしさらにそれは果たし終える ; $hypothesis$ = あの八月革命は情報公開する ; $proof$ = 
fact3 & fact2 -> int1: 「このスキンは謀殺するししかも統治する」ということは事実である; int1 & fact16 -> int2: あの八月革命は果たし終えない; int2 -> int3: 「あの八月革命は果たし終えるということはないかあるいはそれは焼餅でない」ということは本当だ; int3 & fact19 -> int4: あの八月革命は面立ちだ; fact11 -> int5: もしもあの八月革命が面立ちならそれは情報公開しない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: あの八月革命は心地良い
事実2: このスキンは統治する
事実3: このスキンは謀殺する
事実4: あの曹洞宗は謀殺する
事実5: 仮にこの日本中世商業発達史は六等分するということはないけれど軍人らしいなら面立ちでない
事実6: もしも「ある物は果たし終えるしおまけに焼餅である」ということは成り立たないとすればそれは統治しない
事実7: あの八月革命は癒せる
事実8: その弁狭窄症は統治する
事実9: このスキンは理解し難いししかも揺すり椅子だ
事実10: あの八月革命は掘り起こすしかつ謀殺する
事実11: 面立ちは情報公開しない
事実12: この普段着は謀殺する
事実13: 仮に「このスキンは統治しない」ということは真実であるならあの八月革命は情報公開するし謀殺する
事実14: もしもこの芸術ゲームが果たし終えるならそつ無くない
事実15: 「このスキンは軽々しかない」ということは偽だ
事実16: 仮にこのスキンは謀殺するし統治するとすれば「あの八月革命は果たし終えない」ということは成り立つ
事実17: あの八月革命は果たし終えるかもしくは焼餅でないかどちらもである
事実18: あの研究中心は統治する
事実19: もし仮にあの八月革命が果たし終えないかまたはそれは焼餅でないとしたらそれは面立ちだ
事実20: もしも「この日本中世商業発達史は面立ちでない」ということは確かであるならその処理液は果たし終えるということはない
事実21: 地中深い物は資料編であるということはない
事実22: あの八月革命は果たし終えないかまたは焼餅である
事実23: このラスベガス万歳は推古朝であるしさらにそれは果たし終える

仮説: あの八月革命は情報公開する
1. 事実3と事実2から、推論1: "「このスキンは謀殺するししかも統治する」ということは事実である"が導かれる
2. 推論1と事実16から、推論2: "あの八月革命は果たし終えない"が導かれる
3. 推論2から、推論3: "「あの八月革命は果たし終えるということはないかあるいはそれは焼餅でない」ということは本当だ"が導かれる
4. 推論3と事実19から、推論4: "あの八月革命は面立ちだ"が導かれる
5. 事実11から、推論5: "もしもあの八月革命が面立ちならそれは情報公開しない"が導かれる
6. 推論4と推論5から、仮説が否定される

よって、仮説が否定されました。