「「仮に「走り出るしその上薄れ掛けない」ということは間違いだとすれば窒素酸化物である」ものはある」ということは確かであるということはない
fact1: 「もし仮に薄れ掛ければ窒素酸化物である」ものはある fact2: もし仮に「あの分析法は走り出るけど薄れ掛けない」ということは間違っているとすればそれは窒素酸化物である fact3: もしも「なにがしかの物は自粛する一方でそれは応酬するということはない」ということは真実だということはないとするとそれは師事する
fact2 -> hypothesis;
「「自粛するし応酬しない」ということは誤っているとしたら師事する」物はある
fact4 -> int1: もし「この有体物は自粛する一方で応酬しない」ということは事実でないならばそれは師事する; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に薄れ掛ければ窒素酸化物である」ものはある fact2: もし仮に「あの分析法は走り出るけど薄れ掛けない」ということは間違っているとすればそれは窒素酸化物である fact3: もしも「なにがしかの物は自粛する一方でそれは応酬するということはない」ということは真実だということはないとするとそれは師事する ; $hypothesis$ = 「「仮に「走り出るしその上薄れ掛けない」ということは間違いだとすれば窒素酸化物である」ものはある」ということは確かであるということはない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「もし仮に薄れ掛ければ窒素酸化物である」ものはある
事実2: もし仮に「あの分析法は走り出るけど薄れ掛けない」ということは間違っているとすればそれは窒素酸化物である
事実3: もしも「なにがしかの物は自粛する一方でそれは応酬するということはない」ということは真実だということはないとするとそれは師事する

仮説: 「「仮に「走り出るしその上薄れ掛けない」ということは間違いだとすれば窒素酸化物である」ものはある」ということは確かであるということはない
1. 事実2から、仮説が否定される

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