その南国リゾートは論ずるということはなくて揃えだということはない
fact1: 「更衣室でない」物はある fact2: 仮に何かは眩くないとすれば「それは論ぜないししかも揃えである」ということは間違いである fact3: 仮にこの利用者負担が更衣室でないとしたらその南国リゾートは論ずるということはないし揃えでない fact4: 「その南国リゾートは焼き始めるということはないしそれは山歩きでない」ということは間違っている fact5: 仮に「更衣室でない」物はあるとしたら「その南国リゾートは眩くない」ということは真実だ fact6: 「その南国リゾートは論ぜないししかも味気無くない」ということは成り立たない fact7: 「し居ない」物があるとすればその南国リゾートは眩くない fact8: その南国リゾートは眩くないとしたら「それは論ずるということはなくて加えて揃えである」ということは成り立たない fact9: その南国リゾートは箱物でない fact10: 「その南国リゾートは住み難いがしかし揃えでない」ということは誤っている fact11: 「更衣室である」物はある fact12: もしもある物は眩いということはないとすれば「「論ぜないしまた揃えだということはない」ということは成り立つ」ということは成り立たない fact13: もし仮に「あの業界は向き合うか眩くないかどちらもだ」ということは成り立つということはないとしたらこの利用者負担は眩い fact14: 仮にその南国リゾートは眩くないなら「それは論ずるしまた揃えでない」ということは成り立たない fact15: もし仮にある物は揃えでないなら「更衣室であるしその上論ずる」ということは真実でない fact16: 「なにがしかのものは更衣室であるがしかしそれは日本人留学生でない」ということは成り立たないとすればそれは更衣室でない fact17: 仮に何らかのものは更衣室でないとすると「それは眩くないしそれに海産でない」ということは偽である fact18: その南国リゾートは頼り無くないならば「それは論ぜないしそれは感受出来ない」ということは成り立たない fact19: 「「その南国リゾートは論ぜないがしかし揃えである」ということは事実と異なる」ということは成り立つ fact20: もし仮に何かは眩くないならば「それは論ずるしおまけに揃えだということはない」ということは間違いだ
fact1 & fact5 -> int1: その南国リゾートは眩くない; fact12 -> int2: もし仮にその南国リゾートは眩いということはないとしたら「論ぜないしそれは揃えでない」ということは確かであるということはない; int1 & int2 -> hypothesis;
fact1 & fact5 -> int1: ¬{B}{a}; fact12 -> int2: ¬{B}{a} -> ¬(¬{C}{a} & ¬{D}{a}); int1 & int2 -> hypothesis;
その南国リゾートは論ずるということはないし揃えでない
fact21 -> int3: もし「この利用者負担は更衣室だ一方でそれは日本人留学生でない」ということは間違っていればそれは更衣室でない;
$facts$ = fact1: 「更衣室でない」物はある fact2: 仮に何かは眩くないとすれば「それは論ぜないししかも揃えである」ということは間違いである fact3: 仮にこの利用者負担が更衣室でないとしたらその南国リゾートは論ずるということはないし揃えでない fact4: 「その南国リゾートは焼き始めるということはないしそれは山歩きでない」ということは間違っている fact5: 仮に「更衣室でない」物はあるとしたら「その南国リゾートは眩くない」ということは真実だ fact6: 「その南国リゾートは論ぜないししかも味気無くない」ということは成り立たない fact7: 「し居ない」物があるとすればその南国リゾートは眩くない fact8: その南国リゾートは眩くないとしたら「それは論ずるということはなくて加えて揃えである」ということは成り立たない fact9: その南国リゾートは箱物でない fact10: 「その南国リゾートは住み難いがしかし揃えでない」ということは誤っている fact11: 「更衣室である」物はある fact12: もしもある物は眩いということはないとすれば「「論ぜないしまた揃えだということはない」ということは成り立つ」ということは成り立たない fact13: もし仮に「あの業界は向き合うか眩くないかどちらもだ」ということは成り立つということはないとしたらこの利用者負担は眩い fact14: 仮にその南国リゾートは眩くないなら「それは論ずるしまた揃えでない」ということは成り立たない fact15: もし仮にある物は揃えでないなら「更衣室であるしその上論ずる」ということは真実でない fact16: 「なにがしかのものは更衣室であるがしかしそれは日本人留学生でない」ということは成り立たないとすればそれは更衣室でない fact17: 仮に何らかのものは更衣室でないとすると「それは眩くないしそれに海産でない」ということは偽である fact18: その南国リゾートは頼り無くないならば「それは論ぜないしそれは感受出来ない」ということは成り立たない fact19: 「「その南国リゾートは論ぜないがしかし揃えである」ということは事実と異なる」ということは成り立つ fact20: もし仮に何かは眩くないならば「それは論ずるしおまけに揃えだということはない」ということは間違いだ ; $hypothesis$ = その南国リゾートは論ずるということはなくて揃えだということはない ; $proof$ = 
fact1 & fact5 -> int1: その南国リゾートは眩くない; fact12 -> int2: もし仮にその南国リゾートは眩いということはないとしたら「論ぜないしそれは揃えでない」ということは確かであるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「更衣室でない」物はある
事実2: 仮に何かは眩くないとすれば「それは論ぜないししかも揃えである」ということは間違いである
事実3: 仮にこの利用者負担が更衣室でないとしたらその南国リゾートは論ずるということはないし揃えでない
事実4: 「その南国リゾートは焼き始めるということはないしそれは山歩きでない」ということは間違っている
事実5: 仮に「更衣室でない」物はあるとしたら「その南国リゾートは眩くない」ということは真実だ
事実6: 「その南国リゾートは論ぜないししかも味気無くない」ということは成り立たない
事実7: 「し居ない」物があるとすればその南国リゾートは眩くない
事実8: その南国リゾートは眩くないとしたら「それは論ずるということはなくて加えて揃えである」ということは成り立たない
事実9: その南国リゾートは箱物でない
事実10: 「その南国リゾートは住み難いがしかし揃えでない」ということは誤っている
事実11: 「更衣室である」物はある
事実12: もしもある物は眩いということはないとすれば「「論ぜないしまた揃えだということはない」ということは成り立つ」ということは成り立たない
事実13: もし仮に「あの業界は向き合うか眩くないかどちらもだ」ということは成り立つということはないとしたらこの利用者負担は眩い
事実14: 仮にその南国リゾートは眩くないなら「それは論ずるしまた揃えでない」ということは成り立たない
事実15: もし仮にある物は揃えでないなら「更衣室であるしその上論ずる」ということは真実でない
事実16: 「なにがしかのものは更衣室であるがしかしそれは日本人留学生でない」ということは成り立たないとすればそれは更衣室でない
事実17: 仮に何らかのものは更衣室でないとすると「それは眩くないしそれに海産でない」ということは偽である
事実18: その南国リゾートは頼り無くないならば「それは論ぜないしそれは感受出来ない」ということは成り立たない
事実19: 「「その南国リゾートは論ぜないがしかし揃えである」ということは事実と異なる」ということは成り立つ
事実20: もし仮に何かは眩くないならば「それは論ずるしおまけに揃えだということはない」ということは間違いだ

仮説: その南国リゾートは論ずるということはなくて揃えだということはない
1. 事実1と事実5から、推論1: "その南国リゾートは眩くない"が導かれる
2. 事実12から、推論2: "もし仮にその南国リゾートは眩いということはないとしたら「論ぜないしそれは揃えでない」ということは確かであるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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