その上げ底は浣腸液でない
fact1: もしも「あの優勝候補は三農問題であるということはないが軽ーい」ということは成り立たないとするとこの所定休日は浣腸液でない fact2: もしもあの優勝候補が共同施設だとしたらその上げ底は軽ーいということはない fact3: 「あの優勝候補は三農問題だしまた軽ーい」ということは成り立たない fact4: もし「「この所定休日は共同施設でない一方でそれは二十種類だ」ということは真実である」ということは事実と異なるならあの優勝候補は浣腸液でない fact5: 仮に「「この精巣組織は食らわせないか共同施設である」ということは正しい」ということは成り立たないとするとその上げ底は食らわせない fact6: 仮にあの優勝候補は三農問題だということはないけど軽ーいとすればそれは共同施設でない fact7: この所定休日が浣腸液でないとすればあの上げ底は共同施設である fact8: もしもこの所定休日は浣腸液でないとしたら「その上げ底は浣腸液であるしまた共同施設である」ということは事実である fact9: 「あの優勝候補は食らわせないし更にそれは二十種類でない」ということは成り立たない fact10: この所定休日は軽ーくない fact11: あの優勝候補は三農問題でないけれど軽ーいなら二十種類でない fact12: もしも「あの優勝候補は民事訴訟法学だ」ということは真実であるならば「それは二十種類であるということはないがしかし浣腸液である」ということは嘘だ fact13: あるものは疑わしならば「食らわせないかまたはそれは共同施設であるかあるいはどちらもである」ということは誤りだ fact14: もしも「あの優勝候補は食らわせないしおまけにそれは二十種類でない」ということは成り立たないならば二十種類だ fact15: 仮に「この所定休日は民事訴訟法学でない一方で食らわせる」ということは事実と異なるとしたらあの優勝候補は民事訴訟法学である
void -> assump1: 以下のように仮定する。あの優勝候補は三農問題であるということはないが軽ーい; fact11 & assump1 -> int1: あの優勝候補は二十種類でない; fact14 & fact9 -> int2: あの優勝候補は二十種類である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの優勝候補は三農問題でない一方で軽ーい」ということは間違っている; int4 & fact1 -> int5: この所定休日は浣腸液でない; int5 & fact8 -> int6: その上げ底が浣腸液だしさらに共同施設である; int6 -> hypothesis;
その逸物は軽ーくない
fact17 -> int7: もしこの精巣組織は疑わしとすると「食らわせないかもしくは共同施設であるかもしくは両方である」ということは誤っている;
$facts$ = fact1: もしも「あの優勝候補は三農問題であるということはないが軽ーい」ということは成り立たないとするとこの所定休日は浣腸液でない fact2: もしもあの優勝候補が共同施設だとしたらその上げ底は軽ーいということはない fact3: 「あの優勝候補は三農問題だしまた軽ーい」ということは成り立たない fact4: もし「「この所定休日は共同施設でない一方でそれは二十種類だ」ということは真実である」ということは事実と異なるならあの優勝候補は浣腸液でない fact5: 仮に「「この精巣組織は食らわせないか共同施設である」ということは正しい」ということは成り立たないとするとその上げ底は食らわせない fact6: 仮にあの優勝候補は三農問題だということはないけど軽ーいとすればそれは共同施設でない fact7: この所定休日が浣腸液でないとすればあの上げ底は共同施設である fact8: もしもこの所定休日は浣腸液でないとしたら「その上げ底は浣腸液であるしまた共同施設である」ということは事実である fact9: 「あの優勝候補は食らわせないし更にそれは二十種類でない」ということは成り立たない fact10: この所定休日は軽ーくない fact11: あの優勝候補は三農問題でないけれど軽ーいなら二十種類でない fact12: もしも「あの優勝候補は民事訴訟法学だ」ということは真実であるならば「それは二十種類であるということはないがしかし浣腸液である」ということは嘘だ fact13: あるものは疑わしならば「食らわせないかまたはそれは共同施設であるかあるいはどちらもである」ということは誤りだ fact14: もしも「あの優勝候補は食らわせないしおまけにそれは二十種類でない」ということは成り立たないならば二十種類だ fact15: 仮に「この所定休日は民事訴訟法学でない一方で食らわせる」ということは事実と異なるとしたらあの優勝候補は民事訴訟法学である ; $hypothesis$ = その上げ底は浣腸液でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの優勝候補は三農問題であるということはないが軽ーい; fact11 & assump1 -> int1: あの優勝候補は二十種類でない; fact14 & fact9 -> int2: あの優勝候補は二十種類である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの優勝候補は三農問題でない一方で軽ーい」ということは間違っている; int4 & fact1 -> int5: この所定休日は浣腸液でない; int5 & fact8 -> int6: その上げ底が浣腸液だしさらに共同施設である; int6 -> hypothesis; __DISPROVED__
事実1: もしも「あの優勝候補は三農問題であるということはないが軽ーい」ということは成り立たないとするとこの所定休日は浣腸液でない
事実2: もしもあの優勝候補が共同施設だとしたらその上げ底は軽ーいということはない
事実3: 「あの優勝候補は三農問題だしまた軽ーい」ということは成り立たない
事実4: もし「「この所定休日は共同施設でない一方でそれは二十種類だ」ということは真実である」ということは事実と異なるならあの優勝候補は浣腸液でない
事実5: 仮に「「この精巣組織は食らわせないか共同施設である」ということは正しい」ということは成り立たないとするとその上げ底は食らわせない
事実6: 仮にあの優勝候補は三農問題だということはないけど軽ーいとすればそれは共同施設でない
事実7: この所定休日が浣腸液でないとすればあの上げ底は共同施設である
事実8: もしもこの所定休日は浣腸液でないとしたら「その上げ底は浣腸液であるしまた共同施設である」ということは事実である
事実9: 「あの優勝候補は食らわせないし更にそれは二十種類でない」ということは成り立たない
事実10: この所定休日は軽ーくない
事実11: あの優勝候補は三農問題でないけれど軽ーいなら二十種類でない
事実12: もしも「あの優勝候補は民事訴訟法学だ」ということは真実であるならば「それは二十種類であるということはないがしかし浣腸液である」ということは嘘だ
事実13: あるものは疑わしならば「食らわせないかまたはそれは共同施設であるかあるいはどちらもである」ということは誤りだ
事実14: もしも「あの優勝候補は食らわせないしおまけにそれは二十種類でない」ということは成り立たないならば二十種類だ
事実15: 仮に「この所定休日は民事訴訟法学でない一方で食らわせる」ということは事実と異なるとしたらあの優勝候補は民事訴訟法学である

仮説: その上げ底は浣腸液でない
1. 仮定1: 以下のように仮定する。あの優勝候補は三農問題であるということはないが軽ーい
2. 事実11と仮定1から、推論1: "あの優勝候補は二十種類でない"が導かれる
3. 事実14と事実9から、推論2: "あの優勝候補は二十種類である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの優勝候補は三農問題でない一方で軽ーい」ということは間違っている"が導かれる
6. 推論4と事実1から、推論5: "この所定休日は浣腸液でない"が導かれる
7. 推論5と事実8から、推論6: "その上げ底が浣腸液だしさらに共同施設である"が導かれる
8. 推論6から、仮説が否定される

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