もし仮にその機能材料が洗い為さらないしおまけにかったるくないならその野外美術館は日米開戦でない
fact1: もしその機能材料は洗い為さるとしたら「その野外美術館はかったるくないがしかし日米開戦だ」ということは嘘だ fact2: 「その機能材料は日米開戦であるということはなくてまたかったるくない」ということは成り立たない fact3: 「その機能材料は洗い為さるがかったるくない」ということは成り立つということはない fact4: もし仮にその野外美術館は洗い為さらないしまた日米開戦でないならば「その機能材料はかったるいということはない」ということは確かである fact5: このパノラマ式ランドスケープＡ型は洗い為さらない fact6: 「その機能材料は洗い為さるということはないけどかったるい」ということは間違いだ fact7: もし仮に「その機能材料は日米開戦だ」ということは本当であるとしたら「その野外美術館はかったるい一方で洗い為さらない」ということは成り立たない fact8: もし仮にその機能材料が洗い為さらないけどかったるいとすればあの野外美術館は日米開戦でない fact9: もしその野外美術館は洗い為さるとすれば「その機能材料はかったるくないししかも日米開戦でない」ということは事実でない fact10: その機能材料は洗い為さらない fact11: もしその機能材料は洗い為さるがしかしかったるくないとしたら「その野外美術館は日米開戦だ」ということは偽である fact12: もし仮にその野外美術館は日米開戦であるとすると「その機能材料は洗い為さらない一方でそれはかったるい」ということは偽だ fact13: もしもその野外美術館が日米開戦ならその機能材料は洗い為さらないしそれにそれはかったるくない fact14: もしその野外美術館は日米開戦だとすれば「その機能材料は洗い為さるけどかったるくない」ということは嘘だ fact15: 「仮に「その野外美術館は日米開戦だ」ということは正しいならば「「その機能材料は洗い為さらないし更にかったるいということはない」ということは真実である」ということは偽だ」ということは成り立つ fact16: その機能材料はかったるくない fact17: その野外美術館は洗い為さる
void -> assump2: 以下のように仮定する。「その野外美術館は日米開戦だ」ということは正しい; fact15 & assump2 -> int1: 「その機能材料は洗い為さらないしかつかったるくない」ということは成り立たない; void -> assump1: 以下のように仮定する。その機能材料は洗い為さらないし更にかったるくない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その野外美術館は日米開戦でない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしその機能材料は洗い為さるとしたら「その野外美術館はかったるくないがしかし日米開戦だ」ということは嘘だ fact2: 「その機能材料は日米開戦であるということはなくてまたかったるくない」ということは成り立たない fact3: 「その機能材料は洗い為さるがかったるくない」ということは成り立つということはない fact4: もし仮にその野外美術館は洗い為さらないしまた日米開戦でないならば「その機能材料はかったるいということはない」ということは確かである fact5: このパノラマ式ランドスケープＡ型は洗い為さらない fact6: 「その機能材料は洗い為さるということはないけどかったるい」ということは間違いだ fact7: もし仮に「その機能材料は日米開戦だ」ということは本当であるとしたら「その野外美術館はかったるい一方で洗い為さらない」ということは成り立たない fact8: もし仮にその機能材料が洗い為さらないけどかったるいとすればあの野外美術館は日米開戦でない fact9: もしその野外美術館は洗い為さるとすれば「その機能材料はかったるくないししかも日米開戦でない」ということは事実でない fact10: その機能材料は洗い為さらない fact11: もしその機能材料は洗い為さるがしかしかったるくないとしたら「その野外美術館は日米開戦だ」ということは偽である fact12: もし仮にその野外美術館は日米開戦であるとすると「その機能材料は洗い為さらない一方でそれはかったるい」ということは偽だ fact13: もしもその野外美術館が日米開戦ならその機能材料は洗い為さらないしそれにそれはかったるくない fact14: もしその野外美術館は日米開戦だとすれば「その機能材料は洗い為さるけどかったるくない」ということは嘘だ fact15: 「仮に「その野外美術館は日米開戦だ」ということは正しいならば「「その機能材料は洗い為さらないし更にかったるいということはない」ということは真実である」ということは偽だ」ということは成り立つ fact16: その機能材料はかったるくない fact17: その野外美術館は洗い為さる ; $hypothesis$ = もし仮にその機能材料が洗い為さらないしおまけにかったるくないならその野外美術館は日米開戦でない ; $proof$ = 
void -> assump2: 以下のように仮定する。「その野外美術館は日米開戦だ」ということは正しい; fact15 & assump2 -> int1: 「その機能材料は洗い為さらないしかつかったるくない」ということは成り立たない; void -> assump1: 以下のように仮定する。その機能材料は洗い為さらないし更にかったるくない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その野外美術館は日米開戦でない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしその機能材料は洗い為さるとしたら「その野外美術館はかったるくないがしかし日米開戦だ」ということは嘘だ
事実2: 「その機能材料は日米開戦であるということはなくてまたかったるくない」ということは成り立たない
事実3: 「その機能材料は洗い為さるがかったるくない」ということは成り立つということはない
事実4: もし仮にその野外美術館は洗い為さらないしまた日米開戦でないならば「その機能材料はかったるいということはない」ということは確かである
事実5: このパノラマ式ランドスケープＡ型は洗い為さらない
事実6: 「その機能材料は洗い為さるということはないけどかったるい」ということは間違いだ
事実7: もし仮に「その機能材料は日米開戦だ」ということは本当であるとしたら「その野外美術館はかったるい一方で洗い為さらない」ということは成り立たない
事実8: もし仮にその機能材料が洗い為さらないけどかったるいとすればあの野外美術館は日米開戦でない
事実9: もしその野外美術館は洗い為さるとすれば「その機能材料はかったるくないししかも日米開戦でない」ということは事実でない
事実10: その機能材料は洗い為さらない
事実11: もしその機能材料は洗い為さるがしかしかったるくないとしたら「その野外美術館は日米開戦だ」ということは偽である
事実12: もし仮にその野外美術館は日米開戦であるとすると「その機能材料は洗い為さらない一方でそれはかったるい」ということは偽だ
事実13: もしもその野外美術館が日米開戦ならその機能材料は洗い為さらないしそれにそれはかったるくない
事実14: もしその野外美術館は日米開戦だとすれば「その機能材料は洗い為さるけどかったるくない」ということは嘘だ
事実15: 「仮に「その野外美術館は日米開戦だ」ということは正しいならば「「その機能材料は洗い為さらないし更にかったるいということはない」ということは真実である」ということは偽だ」ということは成り立つ
事実16: その機能材料はかったるくない
事実17: その野外美術館は洗い為さる

仮説: もし仮にその機能材料が洗い為さらないしおまけにかったるくないならその野外美術館は日米開戦でない
1. 仮定2: 以下のように仮定する。「その野外美術館は日米開戦だ」ということは正しい
2. 事実15と仮定2から、推論1: "「その機能材料は洗い為さらないしかつかったるくない」ということは成り立たない"が導かれる
3. 仮定1: 以下のように仮定する。その機能材料は洗い為さらないし更にかったるくない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "その野外美術館は日米開戦でない"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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