あの緑茶離れは人気歌手である
fact1: とある物は浅しない fact2: その優勝旗が言い訳がましかないならそれは甘辛いかまたは長ーい fact3: もしあのチャート図は浅しないとすれば「著増するしまたシックスナインだ」ということは正しくない fact4: もしあるものはシックスナインでないならば人気歌手だということはない fact5: もし仮に「取り入れる」物があるとすればあのＲＥは古臭くないかもしくは取り入れるかもしくは両方だ fact6: もしあのチャート図が浅しないならばあのＲＥはシックスナインだがしかしそれは著増しない fact7: もしもあの緑茶離れはシックスナインでないならそれは人気歌手でない fact8: もし仮にあの南洋踊りがシックスナインだとするとあの緑茶離れは取り入れない fact9: 「あの南洋踊りは感慨深くないが畏む」ということは正しくないとするとあのＲＥは疎くない fact10: もし「浅しない」ものがあるとしたらあのＲＥは著増する fact11: 「その優勝旗が言い訳はましくらない」ということは正しい fact12: もし「あの南洋踊りは取り入れる」ということは確かであるなら「感慨深くて畏む」ということは成り立たない fact13: 疎くない物は人気歌手だしまた取り入れる fact14: あのＲＥは著増する fact15: もしある物が人気歌手でないとするとあの緑茶離れは取り入れるしそれは疎い fact16: 「「なんらかのものはシックスナインであるしさらに取り入れる」ということは事実と異なれば人気歌手でない」ということは真実である fact17: もし仮にあの南洋踊りは取り入れないとしたら「あの緑茶離れはシックスナインでそれは取り入れる」ということは成り立たない fact18: あのＲＥは嘆かわしくない fact19: もしあのＲＥが古臭くないかあるいは取り入れるかもしくは両方ともであるなら「それは古臭いということはない」ということは成り立つ fact20: 「浅しない」物があるとするとあのＲＥは疎いしそれにそれは著増する fact21: もしなにがしかの物は取り入れるとすれば「それは感慨深くないけど畏む」ということは嘘である fact22: もしも「「なにがしかの物は著増するしかつシックスナインである」ということは本当だ」ということは成り立たないとすれば人気歌手であるということはない fact23: なんらかの物は伝導だとすれば「浅し」ということは成り立たない
fact21 -> int1: もし仮にあの南洋踊りは取り入れるとしたら「それは感慨深くないけど畏む」ということは誤りだ; void -> assump1: 以下のように仮定する。あの南洋踊りは取り入れる; int1 & assump1 -> int2: 「あの南洋踊りは感慨深くないが畏む」ということは正しくない; int2 & fact9 -> int3: あのＲＥは疎くない; fact20 & fact1 -> int4: あのＲＥは疎くてさらに著増する; int4 -> int5: あのＲＥは疎い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの南洋踊りは取り入れるということはない; int7 & fact17 -> int8: 「あの緑茶離れがシックスナインだししかも取り入れる」ということは成り立たない; fact16 -> int9: もし「あの緑茶離れはシックスナインであるしおまけに取り入れる」ということは偽なら人気歌手でない; int8 & int9 -> hypothesis;
あの緑茶離れは人気歌手である
fact26 -> int10: 「あの緑茶離れは疎くない」ということは確かだとしたら人気歌手であるし加えて取り入れる; fact25 -> int11: 仮にあのチャート図は伝導であるとするとそれは浅しない; fact28 & fact27 -> 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$ = 
fact21 -> int1: もし仮にあの南洋踊りは取り入れるとしたら「それは感慨深くないけど畏む」ということは誤りだ; void -> assump1: 以下のように仮定する。あの南洋踊りは取り入れる; int1 & assump1 -> int2: 「あの南洋踊りは感慨深くないが畏む」ということは正しくない; int2 & fact9 -> int3: あのＲＥは疎くない; fact20 & fact1 -> int4: あのＲＥは疎くてさらに著増する; int4 -> int5: あのＲＥは疎い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの南洋踊りは取り入れるということはない; int7 & fact17 -> int8: 「あの緑茶離れがシックスナインだししかも取り入れる」ということは成り立たない; fact16 -> int9: もし「あの緑茶離れはシックスナインであるしおまけに取り入れる」ということは偽なら人気歌手でない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: とある物は浅しない
事実2: その優勝旗が言い訳がましかないならそれは甘辛いかまたは長ーい
事実3: もしあのチャート図は浅しないとすれば「著増するしまたシックスナインだ」ということは正しくない
事実4: もしあるものはシックスナインでないならば人気歌手だということはない
事実5: もし仮に「取り入れる」物があるとすればあのＲＥは古臭くないかもしくは取り入れるかもしくは両方だ
事実6: もしあのチャート図が浅しないならばあのＲＥはシックスナインだがしかしそれは著増しない
事実7: もしもあの緑茶離れはシックスナインでないならそれは人気歌手でない
事実8: もし仮にあの南洋踊りがシックスナインだとするとあの緑茶離れは取り入れない
事実9: 「あの南洋踊りは感慨深くないが畏む」ということは正しくないとするとあのＲＥは疎くない
事実10: もし「浅しない」ものがあるとしたらあのＲＥは著増する
事実11: 「その優勝旗が言い訳はましくらない」ということは正しい
事実12: もし「あの南洋踊りは取り入れる」ということは確かであるなら「感慨深くて畏む」ということは成り立たない
事実13: 疎くない物は人気歌手だしまた取り入れる
事実14: あのＲＥは著増する
事実15: もしある物が人気歌手でないとするとあの緑茶離れは取り入れるしそれは疎い
事実16: 「「なんらかのものはシックスナインであるしさらに取り入れる」ということは事実と異なれば人気歌手でない」ということは真実である
事実17: もし仮にあの南洋踊りは取り入れないとしたら「あの緑茶離れはシックスナインでそれは取り入れる」ということは成り立たない
事実18: あのＲＥは嘆かわしくない
事実19: もしあのＲＥが古臭くないかあるいは取り入れるかもしくは両方ともであるなら「それは古臭いということはない」ということは成り立つ
事実20: 「浅しない」物があるとするとあのＲＥは疎いしそれにそれは著増する
事実21: もしなにがしかの物は取り入れるとすれば「それは感慨深くないけど畏む」ということは嘘である
事実22: もしも「「なにがしかの物は著増するしかつシックスナインである」ということは本当だ」ということは成り立たないとすれば人気歌手であるということはない
事実23: なんらかの物は伝導だとすれば「浅し」ということは成り立たない

仮説: あの緑茶離れは人気歌手である
1. 事実21から、推論1: "もし仮にあの南洋踊りは取り入れるとしたら「それは感慨深くないけど畏む」ということは誤りだ"が導かれる
2. 仮定1: 以下のように仮定する。あの南洋踊りは取り入れる
3. 推論1と仮定1から、推論2: "「あの南洋踊りは感慨深くないが畏む」ということは正しくない"が導かれる
4. 推論2と事実9から、推論3: "あのＲＥは疎くない"が導かれる
5. 事実20と事実1から、推論4: "あのＲＥは疎くてさらに著増する"が導かれる
6. 推論4から、推論5: "あのＲＥは疎い"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの南洋踊りは取り入れるということはない"が導かれる
9. 推論7と事実17から、推論8: "「あの緑茶離れがシックスナインだししかも取り入れる」ということは成り立たない"が導かれる
10. 事実16から、推論9: "もし「あの緑茶離れはシックスナインであるしおまけに取り入れる」ということは偽なら人気歌手でない"が導かれる
11. 推論8と推論9から、仮説が否定される

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