「「もし「計上す一方で行き着けない」ということは誤りなら吹き渡る」ものはある」ということは成り立たない
fact1: もしも「この五億人は未納であるがしかし仰々しくない」ということは本当でないとすると「それは恥ずかしい」ということは真実だ fact2: 「このトレードオフはカバー付きだけど黒変するということはない」ということは嘘であるなら四十万人である fact3: もし仮に「何らかの物は計上すし加えてそれは行き着ける」ということは誤りだとしたら吹き渡る fact4: もしあの母乳育児が見難くないとしたら寒し fact5: もしも「この五億人は計上すしかつそれは行き着ける」ということは嘘だとすると吹き渡る fact6: 灰色っぽくないものは麗し fact7: もしこの五億人はア・デイ・イン・ザ・ライフでないとすればそれは行き着ける fact8: 仮に「なんらかの物は計上すがそれは行き着けるない」ということは成り立たないならそれは吹き渡る fact9: もしも調べ易い物は回りくどくないとすると「それは大回廊である」ということは真実である fact10: もしもあの十三湖が吹き渡らないとしたら魚である fact11: 「この五億人は行き着けるが殴れない」ということは事実でないとすれば「御遣り為さる」ということは成り立つ
fact8 -> int1: もし仮に「この五億人は計上すけど行き着けない」ということは事実と異なれば吹き渡る; int1 -> hypothesis;
$facts$ = fact1: もしも「この五億人は未納であるがしかし仰々しくない」ということは本当でないとすると「それは恥ずかしい」ということは真実だ fact2: 「このトレードオフはカバー付きだけど黒変するということはない」ということは嘘であるなら四十万人である fact3: もし仮に「何らかの物は計上すし加えてそれは行き着ける」ということは誤りだとしたら吹き渡る fact4: もしあの母乳育児が見難くないとしたら寒し fact5: もしも「この五億人は計上すしかつそれは行き着ける」ということは嘘だとすると吹き渡る fact6: 灰色っぽくないものは麗し fact7: もしこの五億人はア・デイ・イン・ザ・ライフでないとすればそれは行き着ける fact8: 仮に「なんらかの物は計上すがそれは行き着けるない」ということは成り立たないならそれは吹き渡る fact9: もしも調べ易い物は回りくどくないとすると「それは大回廊である」ということは真実である fact10: もしもあの十三湖が吹き渡らないとしたら魚である fact11: 「この五億人は行き着けるが殴れない」ということは事実でないとすれば「御遣り為さる」ということは成り立つ ; $hypothesis$ = 「「もし「計上す一方で行き着けない」ということは誤りなら吹き渡る」ものはある」ということは成り立たない ; $proof$ = 
fact8 -> int1: もし仮に「この五億人は計上すけど行き着けない」ということは事実と異なれば吹き渡る; int1 -> hypothesis; __DISPROVED__
事実1: もしも「この五億人は未納であるがしかし仰々しくない」ということは本当でないとすると「それは恥ずかしい」ということは真実だ
事実2: 「このトレードオフはカバー付きだけど黒変するということはない」ということは嘘であるなら四十万人である
事実3: もし仮に「何らかの物は計上すし加えてそれは行き着ける」ということは誤りだとしたら吹き渡る
事実4: もしあの母乳育児が見難くないとしたら寒し
事実5: もしも「この五億人は計上すしかつそれは行き着ける」ということは嘘だとすると吹き渡る
事実6: 灰色っぽくないものは麗し
事実7: もしこの五億人はア・デイ・イン・ザ・ライフでないとすればそれは行き着ける
事実8: 仮に「なんらかの物は計上すがそれは行き着けるない」ということは成り立たないならそれは吹き渡る
事実9: もしも調べ易い物は回りくどくないとすると「それは大回廊である」ということは真実である
事実10: もしもあの十三湖が吹き渡らないとしたら魚である
事実11: 「この五億人は行き着けるが殴れない」ということは事実でないとすれば「御遣り為さる」ということは成り立つ

仮説: 「「もし「計上す一方で行き着けない」ということは誤りなら吹き渡る」ものはある」ということは成り立たない
1. 事実8から、推論1: "もし仮に「この五億人は計上すけど行き着けない」ということは事実と異なれば吹き渡る"が導かれる
2. 推論1から、仮説が否定される

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