「「もし仮に「払い終わらないが灰色っぽい」ということは偽であるとすれば白雪でない」物はある」ということは嘘だ
fact1: もし仮にあの柿渋は改定率でないならば「それは七年制でない」ということは真実だ fact2: もし仮に「とあるものは払い終わらないけど灰色っぽい」ということは成り立たないとすればそれは白雪だということはない fact3: もし面倒臭いということはない物が成功し易いとすればそれはＥＳＣキーでない fact4: 「もし仮に払い終わらなくておまけに灰色っぽいとすれば白雪でない」ものはある
fact2 -> int1: もし「その鋳物は払い終わらないけど灰色っぽい」ということは誤りだとしたらそれは白雪だということはない; int1 -> hypothesis;
$facts$ = fact1: もし仮にあの柿渋は改定率でないならば「それは七年制でない」ということは真実だ fact2: もし仮に「とあるものは払い終わらないけど灰色っぽい」ということは成り立たないとすればそれは白雪だということはない fact3: もし面倒臭いということはない物が成功し易いとすればそれはＥＳＣキーでない fact4: 「もし仮に払い終わらなくておまけに灰色っぽいとすれば白雪でない」ものはある ; $hypothesis$ = 「「もし仮に「払い終わらないが灰色っぽい」ということは偽であるとすれば白雪でない」物はある」ということは嘘だ ; $proof$ = 
fact2 -> int1: もし「その鋳物は払い終わらないけど灰色っぽい」ということは誤りだとしたらそれは白雪だということはない; int1 -> hypothesis; __DISPROVED__
事実1: もし仮にあの柿渋は改定率でないならば「それは七年制でない」ということは真実だ
事実2: もし仮に「とあるものは払い終わらないけど灰色っぽい」ということは成り立たないとすればそれは白雪だということはない
事実3: もし面倒臭いということはない物が成功し易いとすればそれはＥＳＣキーでない
事実4: 「もし仮に払い終わらなくておまけに灰色っぽいとすれば白雪でない」ものはある

仮説: 「「もし仮に「払い終わらないが灰色っぽい」ということは偽であるとすれば白雪でない」物はある」ということは嘘だ
1. 事実2から、推論1: "もし「その鋳物は払い終わらないけど灰色っぽい」ということは誤りだとしたらそれは白雪だということはない"が導かれる
2. 推論1から、仮説が否定される

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