「この音楽界は竹扱きだとすると「「この近代建築は聞き易くないし加えて黄色くない」ということは誤りである」ということは事実だ」ということは誤りである
fact1: もしも「「徒らっぽい」ということは確かである」物はあるとしたら「この近代建築は見合わせないしそれは推進すらない」ということは間違いである fact2: 仮にこの近代建築は調和し難くないなら「それは聞き易いが黄色くない」ということは嘘である fact3: もしある物は調和し難くないならば「それは聞き易くないしそれは黄色い」ということは成り立たない fact4: あの長半纏は御別れするしそれに商品購入先業態だ fact5: 「なんらかの物は徒らっぽい」ということは偽でない fact6: 「この近代建築は調和し難いということはない」ということは成り立つとしたら「聞き易くない一方で黄色い」ということは確かであるということはない fact7: もし仮にこの近代建築が推進すれば知らせる fact8: もし仮にこの近代建築が知らせるしそれが調和し難いならこの音楽界は竹扱きでない fact9: この音楽界が竹扱きであるならばこの近代建築は聞き易いということはなくてまた黄色くない fact10: 仮になんらかの物は調和し難くないなら「それは聞き易いし黄色くない」ということは誤りだ fact11: 「この近代建築は聞き易くないが黄色い」ということは事実でない fact12: 「この近代建築は見合わせない一方で推進す」ということは間違いだ fact13: この近代建築が知らせるし調和し難いとすればあの音楽界は竹扱きである fact14: もしも「「この近代建築は見合わせないししかもそれは推進すらない」ということは嘘である」ということは成り立つならそれは知らせる fact15: もしもこの音楽界は竹扱きだとしたら「この近代建築は聞き易いということはないけど黄色い」ということは間違いである fact16: 「この近代建築は聞き易いけれど黄色くない」ということは成り立たない fact17: 仮に「「徒らっぽい」ということは成り立つ」物はあるとすると「この近代建築は見合わせない一方で推進す」ということは誤りだ fact18: 何らかのものは調和し難くないならば「それは聞き易くないしその上それは黄色くない」ということは誤りである fact19: 仮にこの音楽界は竹扱きであるとすれば「この近代建築は聞き易いがしかし黄色いということはない」ということは間違いだ
fact5 & fact1 -> int1: 「この近代建築は見合わせないし推進すらない」ということは成り立たない; int1 & fact14 -> int2: この近代建築は知らせる; void -> assump1: 以下のように仮定する。この近代建築は調和し難い; int2 & assump1 -> int3: この近代建築は知らせるししかも調和し難い; int3 & fact8 -> int4: この音楽界は竹扱きでない; void -> assump2: 以下のように仮定する。この音楽界は竹扱きだ; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この近代建築は調和し難くない; fact18 -> int7: もしこの近代建築は調和し難くないとすると「それは聞き易くないし黄色くない」ということは誤っている; int6 & int7 -> int8: 「この近代建築は聞き易いということはなくてしかも黄色くない」ということは成り立つということはない; [assump2] & int8 -> hypothesis;
$facts$ = fact1: もしも「「徒らっぽい」ということは確かである」物はあるとしたら「この近代建築は見合わせないしそれは推進すらない」ということは間違いである fact2: 仮にこの近代建築は調和し難くないなら「それは聞き易いが黄色くない」ということは嘘である fact3: もしある物は調和し難くないならば「それは聞き易くないしそれは黄色い」ということは成り立たない fact4: あの長半纏は御別れするしそれに商品購入先業態だ fact5: 「なんらかの物は徒らっぽい」ということは偽でない fact6: 「この近代建築は調和し難いということはない」ということは成り立つとしたら「聞き易くない一方で黄色い」ということは確かであるということはない fact7: もし仮にこの近代建築が推進すれば知らせる fact8: もし仮にこの近代建築が知らせるしそれが調和し難いならこの音楽界は竹扱きでない fact9: この音楽界が竹扱きであるならばこの近代建築は聞き易いということはなくてまた黄色くない fact10: 仮になんらかの物は調和し難くないなら「それは聞き易いし黄色くない」ということは誤りだ fact11: 「この近代建築は聞き易くないが黄色い」ということは事実でない fact12: 「この近代建築は見合わせない一方で推進す」ということは間違いだ fact13: この近代建築が知らせるし調和し難いとすればあの音楽界は竹扱きである fact14: もしも「「この近代建築は見合わせないししかもそれは推進すらない」ということは嘘である」ということは成り立つならそれは知らせる fact15: もしもこの音楽界は竹扱きだとしたら「この近代建築は聞き易いということはないけど黄色い」ということは間違いである fact16: 「この近代建築は聞き易いけれど黄色くない」ということは成り立たない fact17: 仮に「「徒らっぽい」ということは成り立つ」物はあるとすると「この近代建築は見合わせない一方で推進す」ということは誤りだ fact18: 何らかのものは調和し難くないならば「それは聞き易くないしその上それは黄色くない」ということは誤りである fact19: 仮にこの音楽界は竹扱きであるとすれば「この近代建築は聞き易いがしかし黄色いということはない」ということは間違いだ ; $hypothesis$ = 「この音楽界は竹扱きだとすると「「この近代建築は聞き易くないし加えて黄色くない」ということは誤りである」ということは事実だ」ということは誤りである ; $proof$ = 
fact5 & fact1 -> int1: 「この近代建築は見合わせないし推進すらない」ということは成り立たない; int1 & fact14 -> int2: この近代建築は知らせる; void -> assump1: 以下のように仮定する。この近代建築は調和し難い; int2 & assump1 -> int3: この近代建築は知らせるししかも調和し難い; int3 & fact8 -> int4: この音楽界は竹扱きでない; void -> assump2: 以下のように仮定する。この音楽界は竹扱きだ; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この近代建築は調和し難くない; fact18 -> int7: もしこの近代建築は調和し難くないとすると「それは聞き易くないし黄色くない」ということは誤っている; int6 & int7 -> int8: 「この近代建築は聞き易いということはなくてしかも黄色くない」ということは成り立つということはない; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: もしも「「徒らっぽい」ということは確かである」物はあるとしたら「この近代建築は見合わせないしそれは推進すらない」ということは間違いである
事実2: 仮にこの近代建築は調和し難くないなら「それは聞き易いが黄色くない」ということは嘘である
事実3: もしある物は調和し難くないならば「それは聞き易くないしそれは黄色い」ということは成り立たない
事実4: あの長半纏は御別れするしそれに商品購入先業態だ
事実5: 「なんらかの物は徒らっぽい」ということは偽でない
事実6: 「この近代建築は調和し難いということはない」ということは成り立つとしたら「聞き易くない一方で黄色い」ということは確かであるということはない
事実7: もし仮にこの近代建築が推進すれば知らせる
事実8: もし仮にこの近代建築が知らせるしそれが調和し難いならこの音楽界は竹扱きでない
事実9: この音楽界が竹扱きであるならばこの近代建築は聞き易いということはなくてまた黄色くない
事実10: 仮になんらかの物は調和し難くないなら「それは聞き易いし黄色くない」ということは誤りだ
事実11: 「この近代建築は聞き易くないが黄色い」ということは事実でない
事実12: 「この近代建築は見合わせない一方で推進す」ということは間違いだ
事実13: この近代建築が知らせるし調和し難いとすればあの音楽界は竹扱きである
事実14: もしも「「この近代建築は見合わせないししかもそれは推進すらない」ということは嘘である」ということは成り立つならそれは知らせる
事実15: もしもこの音楽界は竹扱きだとしたら「この近代建築は聞き易いということはないけど黄色い」ということは間違いである
事実16: 「この近代建築は聞き易いけれど黄色くない」ということは成り立たない
事実17: 仮に「「徒らっぽい」ということは成り立つ」物はあるとすると「この近代建築は見合わせない一方で推進す」ということは誤りだ
事実18: 何らかのものは調和し難くないならば「それは聞き易くないしその上それは黄色くない」ということは誤りである
事実19: 仮にこの音楽界は竹扱きであるとすれば「この近代建築は聞き易いがしかし黄色いということはない」ということは間違いだ

仮説: 「この音楽界は竹扱きだとすると「「この近代建築は聞き易くないし加えて黄色くない」ということは誤りである」ということは事実だ」ということは誤りである
1. 事実5と事実1から、推論1: "「この近代建築は見合わせないし推進すらない」ということは成り立たない"が導かれる
2. 推論1と事実14から、推論2: "この近代建築は知らせる"が導かれる
3. 仮定1: 以下のように仮定する。この近代建築は調和し難い
4. 推論2と仮定1から、推論3: "この近代建築は知らせるししかも調和し難い"が導かれる
5. 推論3と事実8から、推論4: "この音楽界は竹扱きでない"が導かれる
6. 仮定2: 以下のように仮定する。この音楽界は竹扱きだ
7. 推論4と仮定2から、推論5: "これは矛盾である"が導かれる
8. [仮定1]と推論5から、推論6: "この近代建築は調和し難くない"が導かれる
9. 事実18から、推論7: "もしこの近代建築は調和し難くないとすると「それは聞き易くないし黄色くない」ということは誤っている"が導かれる
10. 推論6と推論7から、推論8: "「この近代建築は聞き易いということはなくてしかも黄色くない」ということは成り立つということはない"が導かれる
11. [仮定2]と推論8から、仮説が否定される

よって、仮説が否定されました。