「「仮に汚れ難くないとしたら「自然乾燥しないししかも乗り捨てるということはない」ということは誤りである」ものはある」ということは嘘だ
fact1: 「もし仮に汚れ難くないとすると「自然乾燥しないけど乗り捨てる」ということは成り立たない」ものはある fact2: もしその分解は汚れ難くないとすると「それは自然乾燥しなくてかつ乗り捨てる」ということは成り立たない fact3: もし仮にその分解は汚れ難くないならば「それは自然乾燥しなくてその上乗り捨てない」ということは事実と異なる fact4: なにがしかのものは悲しないとすると「「それは狡くないしさらに性格構造でない」ということは事実である」ということは嘘である fact5: 「もし仮に変遷すれば「復号するということはないしかつかったるくない」ということは正しくない」ものはある fact6: 「仮に汚れ難くないならば自然乾燥しないしまた乗り捨てない」ものはある fact7: 「もしも「汚れ難くない」ということは偽だということはないなら「自然乾燥するし乗り捨てない」ということは誤りな」ものはある fact8: 仮にその分解は汚れ難いとしたら「自然乾燥しないし更にそれは乗り捨てない」ということは間違いだ
fact3 -> hypothesis;
「もしも悲しないとしたら「狡くないしその上性格構造でない」ということは事実と異なる」物はある
fact9 -> int1: 仮にその精は悲しないとしたら「それは狡くないし性格構造でない」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に汚れ難くないとすると「自然乾燥しないけど乗り捨てる」ということは成り立たない」ものはある fact2: もしその分解は汚れ難くないとすると「それは自然乾燥しなくてかつ乗り捨てる」ということは成り立たない fact3: もし仮にその分解は汚れ難くないならば「それは自然乾燥しなくてその上乗り捨てない」ということは事実と異なる fact4: なにがしかのものは悲しないとすると「「それは狡くないしさらに性格構造でない」ということは事実である」ということは嘘である fact5: 「もし仮に変遷すれば「復号するということはないしかつかったるくない」ということは正しくない」ものはある fact6: 「仮に汚れ難くないならば自然乾燥しないしまた乗り捨てない」ものはある fact7: 「もしも「汚れ難くない」ということは偽だということはないなら「自然乾燥するし乗り捨てない」ということは誤りな」ものはある fact8: 仮にその分解は汚れ難いとしたら「自然乾燥しないし更にそれは乗り捨てない」ということは間違いだ ; $hypothesis$ = 「「仮に汚れ難くないとしたら「自然乾燥しないししかも乗り捨てるということはない」ということは誤りである」ものはある」ということは嘘だ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「もし仮に汚れ難くないとすると「自然乾燥しないけど乗り捨てる」ということは成り立たない」ものはある
事実2: もしその分解は汚れ難くないとすると「それは自然乾燥しなくてかつ乗り捨てる」ということは成り立たない
事実3: もし仮にその分解は汚れ難くないならば「それは自然乾燥しなくてその上乗り捨てない」ということは事実と異なる
事実4: なにがしかのものは悲しないとすると「「それは狡くないしさらに性格構造でない」ということは事実である」ということは嘘である
事実5: 「もし仮に変遷すれば「復号するということはないしかつかったるくない」ということは正しくない」ものはある
事実6: 「仮に汚れ難くないならば自然乾燥しないしまた乗り捨てない」ものはある
事実7: 「もしも「汚れ難くない」ということは偽だということはないなら「自然乾燥するし乗り捨てない」ということは誤りな」ものはある
事実8: 仮にその分解は汚れ難いとしたら「自然乾燥しないし更にそれは乗り捨てない」ということは間違いだ

仮説: 「「仮に汚れ難くないとしたら「自然乾燥しないししかも乗り捨てるということはない」ということは誤りである」ものはある」ということは嘘だ
1. 事実3から、仮説が否定される

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