「もしこのロタ語は真北であるとしたら「あのダンスパーティーはヴァン・ダインでないが上向く」ということは嘘である」ということは間違いである
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: 以下のように仮定する。「このロタ語は真北である」ということは事実と異ならない; fact13 & assump1 -> int1: 「このロタ語は働き掛けない一方で町田藍である」ということは成り立たない; int1 -> int2: 「「働き掛けるということはなくて更に町田藍である」ということは誤っている」物はある; int2 & fact22 -> int3: その携帯電話基地局は上向かない; int3 & fact4 -> int4: 「あのダンスパーティーはヴァン・ダインでないが上向く」ということは成り立たない; [assump1] & int4 -> hypothesis;
$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: 以下のように仮定する。「このロタ語は真北である」ということは事実と異ならない; fact13 & assump1 -> int1: 「このロタ語は働き掛けない一方で町田藍である」ということは成り立たない; int1 -> int2: 「「働き掛けるということはなくて更に町田藍である」ということは誤っている」物はある; int2 & fact22 -> int3: その携帯電話基地局は上向かない; int3 & fact4 -> int4: 「あのダンスパーティーはヴァン・ダインでないが上向く」ということは成り立たない; [assump1] & int4 -> 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. 仮定1: 以下のように仮定する。「このロタ語は真北である」ということは事実と異ならない
2. 事実13と仮定1から、推論1: "「このロタ語は働き掛けない一方で町田藍である」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「働き掛けるということはなくて更に町田藍である」ということは誤っている」物はある"が導かれる
4. 推論2と事実22から、推論3: "その携帯電話基地局は上向かない"が導かれる
5. 推論3と事実4から、推論4: "「あのダンスパーティーはヴァン・ダインでないが上向く」ということは成り立たない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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