あの肺ペストは空間である
fact1: 金融支援は死後硬直でないとしたら空間である fact2: 仮にあの肺ペストが涼しいならその後裔はおどろおどろしい fact3: もし仮にその後裔が涼しいとしたらこのルソン壺は薬臭い fact4: この不平不満はおどろおどろしい fact5: もしもなにかは麗々しくて金融支援だとすれば空間だ fact6: 仮にこのルソン壺がおどろおどろしいとするとその後裔は一騒ぎだ fact7: もし仮にあの肺ペストがおどろおどろしいとすれば金融支援でない fact8: あの気安さは一騒ぎだ fact9: もしあるものが一騒ぎだししかも薬臭いならばそれは掃除しない fact10: もしあの肺ペストが麗々しいしさらにそれは金融支援であるならば空間である fact11: もし仮にあの四十六例が間近いとするとそれは新訴えない fact12: もし「あの肺ペストは死後硬直である」ということは成り立つとしたらあの気安さは麗々しい fact13: 「このルソン壺は薬臭い」ということは本当であるとすればその大学区は一騒ぎだ fact14: 仮にその後裔が空間でないけど掃除するならばあの肺ペストは空間でない fact15: もしもなにがしかの物が掃除するしおまけにそれが薬臭いとするとそれは死後硬直だ fact16: その後裔は涼しいししかも掃除する fact17: その大学区がタイムロックだしそれは掃除する fact18: もしもその大学区が空間であるとするとあの肺ペストは一騒ぎである fact19: 仮にあの気安さが死後硬直ならばあの肺ペストはおどろおどろしい fact20: 仮に麗々しい物は金融支援でないとしたらそれは空間である fact21: もしこのルソン壺が麗々しいならばあの肺ペストは金融支援である fact22: おどろおどろしいものは麗々しいが金融支援だということはない fact23: その大学区が一騒ぎであるとするとあの気安さは死後硬直である
fact16 -> int1: 「その後裔は涼しい」ということは間違っていない; int1 & fact3 -> int2: このルソン壺は薬臭い; int2 & fact13 -> int3: その大学区は一騒ぎだ; int3 & fact23 -> int4: あの気安さは死後硬直だ; int4 & fact19 -> int5: あの肺ペストはおどろおどろしい; fact22 -> int6: 仮にあの肺ペストがおどろおどろしいとしたらそれは麗々しいが金融支援でない; int5 & int6 -> int7: あの肺ペストは麗々しいがしかしそれは金融支援でない; fact20 -> int8: もしあの肺ペストが麗々しいが金融支援でないならばそれは空間である; int7 & int8 -> hypothesis;
あの肺ペストは空間だということはない
$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$ = 
fact16 -> int1: 「その後裔は涼しい」ということは間違っていない; int1 & fact3 -> int2: このルソン壺は薬臭い; int2 & fact13 -> int3: その大学区は一騒ぎだ; int3 & fact23 -> int4: あの気安さは死後硬直だ; int4 & fact19 -> int5: あの肺ペストはおどろおどろしい; fact22 -> int6: 仮にあの肺ペストがおどろおどろしいとしたらそれは麗々しいが金融支援でない; int5 & int6 -> int7: あの肺ペストは麗々しいがしかしそれは金融支援でない; fact20 -> int8: もしあの肺ペストが麗々しいが金融支援でないならばそれは空間である; int7 & int8 -> 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: その大学区が一騒ぎであるとするとあの気安さは死後硬直である

仮説: あの肺ペストは空間である
1. 事実16から、推論1: "「その後裔は涼しい」ということは間違っていない"が導かれる
2. 推論1と事実3から、推論2: "このルソン壺は薬臭い"が導かれる
3. 推論2と事実13から、推論3: "その大学区は一騒ぎだ"が導かれる
4. 推論3と事実23から、推論4: "あの気安さは死後硬直だ"が導かれる
5. 推論4と事実19から、推論5: "あの肺ペストはおどろおどろしい"が導かれる
6. 事実22から、推論6: "仮にあの肺ペストがおどろおどろしいとしたらそれは麗々しいが金融支援でない"が導かれる
7. 推論5と推論6から、推論7: "あの肺ペストは麗々しいがしかしそれは金融支援でない"が導かれる
8. 事実20から、推論8: "もしあの肺ペストが麗々しいが金融支援でないならばそれは空間である"が導かれる
9. 推論7と推論8から、仮説が導かれる

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