「もし仮に「このプロパティは鑽仰しないししかもそれは薄汚くない」ということは誤りだとすると「このプロパティは粗鋼生産量である」ということは成り立つ」ということは成り立つということはない
fact1: 仮に「ある物は鑽仰しなくて薄汚くない」ということは成り立たないとするとそれは粗鋼生産量だ
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 仮に「ある物は鑽仰しなくて薄汚くない」ということは成り立たないとするとそれは粗鋼生産量だ ; $hypothesis$ = 「もし仮に「このプロパティは鑽仰しないししかもそれは薄汚くない」ということは誤りだとすると「このプロパティは粗鋼生産量である」ということは成り立つ」ということは成り立つということはない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「ある物は鑽仰しなくて薄汚くない」ということは成り立たないとするとそれは粗鋼生産量だ

仮説: 「もし仮に「このプロパティは鑽仰しないししかもそれは薄汚くない」ということは誤りだとすると「このプロパティは粗鋼生産量である」ということは成り立つ」ということは成り立つということはない
1. 事実1から、仮説が否定される

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