その洋紙は社会・経済開発でない
fact1: もしこの旧巣が社会・経済開発であるとしたらその洋紙は社会・経済開発だ fact2: 「登山家らしくないものは教科書検定であるなら社会・経済開発である」ということは成り立つ fact3: この危険思想は登山家らしい fact4: 仮に「何かは社会・経済開発だ」ということは事実であるとすればそれは教科書検定であるということはないけど登山家らしい fact5: もし何らかの物が酷くないかまたは社会・経済開発であるかあるいはどちらもであるとすれば社会・経済開発だ fact6: 仮にこの旧巣が買い与えないとしたらその洋紙は酷くないかまたは社会・経済開発であるかあるいはどちらもである fact7: もし仮に登山家らしい教科書検定があるならその洋紙は寒ーくない fact8: 「あの平均審理期間は買い与えるしさらに寒ーい」ということは事実と異なるならばあの初交は寒ーくない fact9: 仮にその洋紙が教科書検定であるということはないとしたらこの白朮は寒ーいということはない fact10: 「もしもあの初交が寒ーいということはないとするとこの旧巣は登山家らしいということはないけど教科書検定である」ということは間違いでない fact11: もしもとあるものが消散期であるということはないかもしくは社名だとすると買い与えない fact12: もしも何らかの物は酷くないならば「買い与えるしさらに寒ーい」ということは成り立たない fact13: この危険思想は教科書検定であるししかも登山家らしい fact14: 登山家らしいものはある fact15: 「もし仮にその洋紙は寒ーくないとすれば「その洋紙は社会・経済開発だということはない」ということは確かだ」ということは事実と異ならない
fact13 -> int1: なんらかのものは教科書検定であるし登山家らしい; int1 & fact7 -> int2: その洋紙は寒ーくない; int2 & fact15 -> hypothesis;
fact13 -> int1: (Ex): ({A}x & {B}x); int1 & fact7 -> int2: ¬{C}{a}; int2 & fact15 -> hypothesis;
その洋紙は社会・経済開発である
fact18 -> int3: もしもこの旧巣は登山家らしくないが教科書検定ならばそれは社会・経済開発だ; fact16 -> int4: もしあの平均審理期間は酷いということはないならば「それは買い与えるし寒ーい」ということは間違いである;
$facts$ = fact1: もしこの旧巣が社会・経済開発であるとしたらその洋紙は社会・経済開発だ fact2: 「登山家らしくないものは教科書検定であるなら社会・経済開発である」ということは成り立つ fact3: この危険思想は登山家らしい fact4: 仮に「何かは社会・経済開発だ」ということは事実であるとすればそれは教科書検定であるということはないけど登山家らしい fact5: もし何らかの物が酷くないかまたは社会・経済開発であるかあるいはどちらもであるとすれば社会・経済開発だ fact6: 仮にこの旧巣が買い与えないとしたらその洋紙は酷くないかまたは社会・経済開発であるかあるいはどちらもである fact7: もし仮に登山家らしい教科書検定があるならその洋紙は寒ーくない fact8: 「あの平均審理期間は買い与えるしさらに寒ーい」ということは事実と異なるならばあの初交は寒ーくない fact9: 仮にその洋紙が教科書検定であるということはないとしたらこの白朮は寒ーいということはない fact10: 「もしもあの初交が寒ーいということはないとするとこの旧巣は登山家らしいということはないけど教科書検定である」ということは間違いでない fact11: もしもとあるものが消散期であるということはないかもしくは社名だとすると買い与えない fact12: もしも何らかの物は酷くないならば「買い与えるしさらに寒ーい」ということは成り立たない fact13: この危険思想は教科書検定であるししかも登山家らしい fact14: 登山家らしいものはある fact15: 「もし仮にその洋紙は寒ーくないとすれば「その洋紙は社会・経済開発だということはない」ということは確かだ」ということは事実と異ならない ; $hypothesis$ = その洋紙は社会・経済開発でない ; $proof$ = 
fact13 -> int1: なんらかのものは教科書検定であるし登山家らしい; int1 & fact7 -> int2: その洋紙は寒ーくない; int2 & fact15 -> hypothesis; __PROVED__
事実1: もしこの旧巣が社会・経済開発であるとしたらその洋紙は社会・経済開発だ
事実2: 「登山家らしくないものは教科書検定であるなら社会・経済開発である」ということは成り立つ
事実3: この危険思想は登山家らしい
事実4: 仮に「何かは社会・経済開発だ」ということは事実であるとすればそれは教科書検定であるということはないけど登山家らしい
事実5: もし何らかの物が酷くないかまたは社会・経済開発であるかあるいはどちらもであるとすれば社会・経済開発だ
事実6: 仮にこの旧巣が買い与えないとしたらその洋紙は酷くないかまたは社会・経済開発であるかあるいはどちらもである
事実7: もし仮に登山家らしい教科書検定があるならその洋紙は寒ーくない
事実8: 「あの平均審理期間は買い与えるしさらに寒ーい」ということは事実と異なるならばあの初交は寒ーくない
事実9: 仮にその洋紙が教科書検定であるということはないとしたらこの白朮は寒ーいということはない
事実10: 「もしもあの初交が寒ーいということはないとするとこの旧巣は登山家らしいということはないけど教科書検定である」ということは間違いでない
事実11: もしもとあるものが消散期であるということはないかもしくは社名だとすると買い与えない
事実12: もしも何らかの物は酷くないならば「買い与えるしさらに寒ーい」ということは成り立たない
事実13: この危険思想は教科書検定であるししかも登山家らしい
事実14: 登山家らしいものはある
事実15: 「もし仮にその洋紙は寒ーくないとすれば「その洋紙は社会・経済開発だということはない」ということは確かだ」ということは事実と異ならない

仮説: その洋紙は社会・経済開発でない
1. 事実13から、推論1: "なんらかのものは教科書検定であるし登山家らしい"が導かれる
2. 推論1と事実7から、推論2: "その洋紙は寒ーくない"が導かれる
3. 推論2と事実15から、仮説が導かれる

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