あの当該特定都市河川流域は損ぜない
fact1: もしもとある物が別格でないとすればネゴシアンであるしその上それは似付かわしくらない fact2: もしも「あの立法府は投入すけれど別格だということはない」ということは偽ならば「湿らない」ということは誤っているということはない fact3: もし「何らかの物はバニラビーンズでないけれど湿る」ということは成り立たないならば投入す fact4: もしも「このクロスヘッジはバニラビーンズでないがしかし似付かわしい」ということは事実と異なれば似付かわしくらない fact5: もしも「「当たり出す一方で湿らない」ということは事実と異なる」ものがあるならばあの立法府は湿る fact6: もしあの立法府が投入すらないとすれば湿らない fact7: もしもこのクロスヘッジはバニラビーンズでないとすれば「あの当該特定都市河川流域はバニラビーンズでないけれどそれは無断だ」ということは成り立たない fact8: もし仮に何かは別格でないとするとネゴシアンだ fact9: 「「とあるものはバニラビーンズでないけどそれは無断だ」ということは間違いであるとしたらそれは損ずる」ということは本当である fact10: 「あの立法府はネゴシアンである」ということは成り立つ fact11: あの当該特定都市河川流域はバニラビーンズであるとすればそれは損ずる fact12: 「あの当該特定都市河川流域はバニラビーンズであるしそれは無断だ」ということは成り立たない fact13: 「「当たり出す一方で湿らない」ということは偽である」物はある fact14: 「「投入すしそれにネゴシアンである」ということは成り立たない」ものはある fact15: 仮にあの立法府がネゴシアンだけれど似付かわしくらないとするとこのクロスヘッジはバニラビーンズでない fact16: 「そのメディア介在はすっごーいし忌引き日数である」ということは成り立たない fact17: もし仮にこのクロスヘッジはバニラビーンズでないとすると湿るけど無断でない fact18: 「あの立法府は投入す」ということは成り立つ
void -> assump1: 以下のように仮定する。「あの立法府は投入すけど別格でない」ということは偽である; fact2 & assump1 -> int1: あの立法府は湿らない; fact13 & fact5 -> int2: あの立法府は湿る; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの立法府は投入すけれど別格でない」ということは事実だ; int4 -> int5: あの立法府は別格でない; fact1 -> int6: もしもあの立法府は別格でないならネゴシアンだが似付かわしくらない; int5 & int6 -> int7: あの立法府はネゴシアンである一方でそれは似付かわしくらない; int7 & fact15 -> int8: このクロスヘッジはバニラビーンズでない; int8 & fact7 -> int9: 「あの当該特定都市河川流域はバニラビーンズでないが無断だ」ということは間違いだ; fact9 -> int10: もしも「あの当該特定都市河川流域はバニラビーンズでない一方で無断だ」ということは嘘だとすればそれは損ずる; int9 & int10 -> hypothesis;
あの当該特定都市河川流域は損ぜない
$facts$ = fact1: もしもとある物が別格でないとすればネゴシアンであるしその上それは似付かわしくらない fact2: もしも「あの立法府は投入すけれど別格だということはない」ということは偽ならば「湿らない」ということは誤っているということはない fact3: もし「何らかの物はバニラビーンズでないけれど湿る」ということは成り立たないならば投入す fact4: もしも「このクロスヘッジはバニラビーンズでないがしかし似付かわしい」ということは事実と異なれば似付かわしくらない fact5: もしも「「当たり出す一方で湿らない」ということは事実と異なる」ものがあるならばあの立法府は湿る fact6: もしあの立法府が投入すらないとすれば湿らない fact7: もしもこのクロスヘッジはバニラビーンズでないとすれば「あの当該特定都市河川流域はバニラビーンズでないけれどそれは無断だ」ということは成り立たない fact8: もし仮に何かは別格でないとするとネゴシアンだ fact9: 「「とあるものはバニラビーンズでないけどそれは無断だ」ということは間違いであるとしたらそれは損ずる」ということは本当である fact10: 「あの立法府はネゴシアンである」ということは成り立つ fact11: あの当該特定都市河川流域はバニラビーンズであるとすればそれは損ずる fact12: 「あの当該特定都市河川流域はバニラビーンズであるしそれは無断だ」ということは成り立たない fact13: 「「当たり出す一方で湿らない」ということは偽である」物はある fact14: 「「投入すしそれにネゴシアンである」ということは成り立たない」ものはある fact15: 仮にあの立法府がネゴシアンだけれど似付かわしくらないとするとこのクロスヘッジはバニラビーンズでない fact16: 「そのメディア介在はすっごーいし忌引き日数である」ということは成り立たない fact17: もし仮にこのクロスヘッジはバニラビーンズでないとすると湿るけど無断でない fact18: 「あの立法府は投入す」ということは成り立つ ; $hypothesis$ = あの当該特定都市河川流域は損ぜない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの立法府は投入すけど別格でない」ということは偽である; fact2 & assump1 -> int1: あの立法府は湿らない; fact13 & fact5 -> int2: あの立法府は湿る; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの立法府は投入すけれど別格でない」ということは事実だ; int4 -> int5: あの立法府は別格でない; fact1 -> int6: もしもあの立法府は別格でないならネゴシアンだが似付かわしくらない; int5 & int6 -> int7: あの立法府はネゴシアンである一方でそれは似付かわしくらない; int7 & fact15 -> int8: このクロスヘッジはバニラビーンズでない; int8 & fact7 -> int9: 「あの当該特定都市河川流域はバニラビーンズでないが無断だ」ということは間違いだ; fact9 -> int10: もしも「あの当該特定都市河川流域はバニラビーンズでない一方で無断だ」ということは嘘だとすればそれは損ずる; int9 & int10 -> hypothesis; __DISPROVED__
事実1: もしもとある物が別格でないとすればネゴシアンであるしその上それは似付かわしくらない
事実2: もしも「あの立法府は投入すけれど別格だということはない」ということは偽ならば「湿らない」ということは誤っているということはない
事実3: もし「何らかの物はバニラビーンズでないけれど湿る」ということは成り立たないならば投入す
事実4: もしも「このクロスヘッジはバニラビーンズでないがしかし似付かわしい」ということは事実と異なれば似付かわしくらない
事実5: もしも「「当たり出す一方で湿らない」ということは事実と異なる」ものがあるならばあの立法府は湿る
事実6: もしあの立法府が投入すらないとすれば湿らない
事実7: もしもこのクロスヘッジはバニラビーンズでないとすれば「あの当該特定都市河川流域はバニラビーンズでないけれどそれは無断だ」ということは成り立たない
事実8: もし仮に何かは別格でないとするとネゴシアンだ
事実9: 「「とあるものはバニラビーンズでないけどそれは無断だ」ということは間違いであるとしたらそれは損ずる」ということは本当である
事実10: 「あの立法府はネゴシアンである」ということは成り立つ
事実11: あの当該特定都市河川流域はバニラビーンズであるとすればそれは損ずる
事実12: 「あの当該特定都市河川流域はバニラビーンズであるしそれは無断だ」ということは成り立たない
事実13: 「「当たり出す一方で湿らない」ということは偽である」物はある
事実14: 「「投入すしそれにネゴシアンである」ということは成り立たない」ものはある
事実15: 仮にあの立法府がネゴシアンだけれど似付かわしくらないとするとこのクロスヘッジはバニラビーンズでない
事実16: 「そのメディア介在はすっごーいし忌引き日数である」ということは成り立たない
事実17: もし仮にこのクロスヘッジはバニラビーンズでないとすると湿るけど無断でない
事実18: 「あの立法府は投入す」ということは成り立つ

仮説: あの当該特定都市河川流域は損ぜない
1. 仮定1: 以下のように仮定する。「あの立法府は投入すけど別格でない」ということは偽である
2. 事実2と仮定1から、推論1: "あの立法府は湿らない"が導かれる
3. 事実13と事実5から、推論2: "あの立法府は湿る"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの立法府は投入すけれど別格でない」ということは事実だ"が導かれる
6. 推論4から、推論5: "あの立法府は別格でない"が導かれる
7. 事実1から、推論6: "もしもあの立法府は別格でないならネゴシアンだが似付かわしくらない"が導かれる
8. 推論5と推論6から、推論7: "あの立法府はネゴシアンである一方でそれは似付かわしくらない"が導かれる
9. 推論7と事実15から、推論8: "このクロスヘッジはバニラビーンズでない"が導かれる
10. 推論8と事実7から、推論9: "「あの当該特定都市河川流域はバニラビーンズでないが無断だ」ということは間違いだ"が導かれる
11. 事実9から、推論10: "もしも「あの当該特定都市河川流域はバニラビーンズでない一方で無断だ」ということは嘘だとすればそれは損ずる"が導かれる
12. 推論9と推論10から、仮説が否定される

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