その炭焼き窯は柱材であるということはない
fact1: もしもその結合関係が疑い深いとしたらその炭焼き窯は遮光しない fact2: この米軍兵士はテナントでないがしかしそれは名演奏だ fact3: もし仮に「なにかは美味しいし疑い深い」ということは嘘であるとすると疑い深くない fact4: 「あの亜炭鉱軌道跡存在は遮光する」ということは確かだ fact5: もしその炭焼き窯は疑い深いということはないとすると「その結合関係は遮光しなくてしかも柱材だということはない」ということは成り立たない fact6: もしその炭焼き窯が柱材であるならその結合関係は遮光しない fact7: 「何かは遮光しなくて更に柱材でない」ということは間違いだとすると開けする fact8: もしもその結合関係が疑い深いならばあの分配は柱材でない fact9: もし仮にある物が美味しいかあるいは野宿しないか両方であるとしたらテナントでない fact10: 仮にあるものはテナントでないなら遮光するし加えて袿である fact11: この米軍兵士がテナントでないがしかし名演奏だとしたらその炭焼き窯はテナントでない fact12: 「この沿岸都市は手酷くない」ということは事実だ fact13: 仮にその結合関係は袿でないし疑い深くないならば遮光する fact14: もしも「この沿岸都市は手酷いということはない」ということは真実であるならば「その結合関係は野宿するし疑い深い」ということは誤りだ fact15: その炭焼き窯は生かし合う fact16: 仮に「その結合関係が野宿するしその上疑い深い」ということは偽ならば疑い深くない fact17: もし仮に「「野宿するしそれに名演奏だ」ということは誤りである」物があるとしたらその炭焼き窯は野宿するということはない fact18: もし何らかの物が遮光する一方で疑い深くないとすれば柱材だ fact19: その結合関係は袿でないし加えて疑い深くない fact20: もし仮にその結合関係が袿でない一方でそれは疑い深いならば「それは遮光する」ということは確かだ fact21: もし「その炭焼き窯は袿である」ということは正しいとすればその結合関係は疑い深いということはない fact22: 「この米軍兵士は野宿するしさらに名演奏である」ということは誤っている fact23: このばんけいスキー場は柱材でない
void -> assump1: 以下のように仮定する。その炭焼き窯は柱材である; fact6 & assump1 -> int1: その結合関係は遮光しない; fact13 & fact19 -> int2: その結合関係は遮光する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: ¬{B}{b}; fact13 & fact19 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その炭焼き窯は柱材だ
fact28 -> int4: その炭焼き窯が遮光するが疑い深くないならそれは柱材である; fact31 -> int5: もしもその炭焼き窯はテナントでないならば「それは遮光するし袿だ」ということは真実である; fact24 & fact30 -> int6: 「その炭焼き窯はテナントでない」ということは事実だ; int5 & int6 -> int7: その炭焼き窯は遮光するし袿だ; int7 -> int8: その炭焼き窯は遮光する; fact26 -> int9: 「仮に「その炭焼き窯は美味しいししかもそれは疑い深い」ということは誤っているとすればあの炭焼き窯は疑い深いということはない」ということは成り立つ; fact29 & fact25 -> int10: 「その結合関係は野宿するしかつそれは疑い深い」ということは成り立たない; fact27 & int10 -> int11: その結合関係は疑い深くない; int11 -> int12: 「疑い深いということはない」物はある;
$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$ = 
void -> assump1: 以下のように仮定する。その炭焼き窯は柱材である; fact6 & assump1 -> int1: その結合関係は遮光しない; fact13 & fact19 -> int2: その結合関係は遮光する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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. 仮定1: 以下のように仮定する。その炭焼き窯は柱材である
2. 事実6と仮定1から、推論1: "その結合関係は遮光しない"が導かれる
3. 事実13と事実19から、推論2: "その結合関係は遮光する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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