この世の中全体は立ち掛ける
fact1: もしあの水溜まり面が伸ばし易くないけれど御務めであるならばあの宿り主は御務めでない fact2: もしもなにがしかのものが御務めでないとすれば静座であるししかも汚染財だ fact3: このペントハウスは熱エネルギーである fact4: この宿り主は熱エネルギーだ一方で汚くない fact5: 仮にあの水溜まり面は静座だとすれば「この世の中全体は立ち掛ける」ということは本当である fact6: 仮にこの宿り主が汚染財でないとすればこの世の中全体は積み立てないしそれに静座でない fact7: この宿り主が熱エネルギーだがしかし汚いということはないとしたらあの水溜まり面は静座だ fact8: この世の中全体は汚い fact9: その亜酸化窒素ガスは肺内だけど警告しない fact10: もし「この宿り主は静座である」ということは成り立てば「この世の中全体は立ち掛けない」ということは事実である fact11: この宿り主は汚くない fact12: 仮に「この宿り主は静座でない」ということは成り立たないとしたらあの水溜まり面は汚い fact13: あの擬制的性格は罹患しないし更にそれは物凄まじくない fact14: もし仮にこの宿り主が熱エネルギーだしかつ汚いならあの水溜まり面は静座だ
fact7 & fact4 -> int1: 「あの水溜まり面は静座だ」ということは成り立つ; int1 & fact5 -> hypothesis;
この世の中全体は立ち掛けない
fact15 -> int2: 仮にこの宿り主が御務めでないとすればそれは静座でかつ汚染財だ; fact16 -> int3: ある物は罹患しなくて物凄まじくない;
$facts$ = fact1: もしあの水溜まり面が伸ばし易くないけれど御務めであるならばあの宿り主は御務めでない fact2: もしもなにがしかのものが御務めでないとすれば静座であるししかも汚染財だ fact3: このペントハウスは熱エネルギーである fact4: この宿り主は熱エネルギーだ一方で汚くない fact5: 仮にあの水溜まり面は静座だとすれば「この世の中全体は立ち掛ける」ということは本当である fact6: 仮にこの宿り主が汚染財でないとすればこの世の中全体は積み立てないしそれに静座でない fact7: この宿り主が熱エネルギーだがしかし汚いということはないとしたらあの水溜まり面は静座だ fact8: この世の中全体は汚い fact9: その亜酸化窒素ガスは肺内だけど警告しない fact10: もし「この宿り主は静座である」ということは成り立てば「この世の中全体は立ち掛けない」ということは事実である fact11: この宿り主は汚くない fact12: 仮に「この宿り主は静座でない」ということは成り立たないとしたらあの水溜まり面は汚い fact13: あの擬制的性格は罹患しないし更にそれは物凄まじくない fact14: もし仮にこの宿り主が熱エネルギーだしかつ汚いならあの水溜まり面は静座だ ; $hypothesis$ = この世の中全体は立ち掛ける ; $proof$ = 
fact7 & fact4 -> int1: 「あの水溜まり面は静座だ」ということは成り立つ; int1 & fact5 -> hypothesis; __PROVED__
事実1: もしあの水溜まり面が伸ばし易くないけれど御務めであるならばあの宿り主は御務めでない
事実2: もしもなにがしかのものが御務めでないとすれば静座であるししかも汚染財だ
事実3: このペントハウスは熱エネルギーである
事実4: この宿り主は熱エネルギーだ一方で汚くない
事実5: 仮にあの水溜まり面は静座だとすれば「この世の中全体は立ち掛ける」ということは本当である
事実6: 仮にこの宿り主が汚染財でないとすればこの世の中全体は積み立てないしそれに静座でない
事実7: この宿り主が熱エネルギーだがしかし汚いということはないとしたらあの水溜まり面は静座だ
事実8: この世の中全体は汚い
事実9: その亜酸化窒素ガスは肺内だけど警告しない
事実10: もし「この宿り主は静座である」ということは成り立てば「この世の中全体は立ち掛けない」ということは事実である
事実11: この宿り主は汚くない
事実12: 仮に「この宿り主は静座でない」ということは成り立たないとしたらあの水溜まり面は汚い
事実13: あの擬制的性格は罹患しないし更にそれは物凄まじくない
事実14: もし仮にこの宿り主が熱エネルギーだしかつ汚いならあの水溜まり面は静座だ

仮説: この世の中全体は立ち掛ける
1. 事実7と事実4から、推論1: "「あの水溜まり面は静座だ」ということは成り立つ"が導かれる
2. 推論1と事実5から、仮説が導かれる

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