あのトリメチルアミンはガラス棒でない
fact1: 「あのトリメチルアミンはガラス棒だ」ということは正しい fact2: もしとある物は突き止めないとすれば「それが歴任するしその上それは感じ難いということはない」ということは誤りだ fact3: あるものが感じ難いとすればそれはガラス棒である fact4: もしあのローマ書が歴任する一方でガラス棒でないならばあのトリメチルアミンはガラス棒でない
fact1 -> hypothesis;
fact1 -> hypothesis;
あのトリメチルアミンはガラス棒でない
$facts$ = fact1: 「あのトリメチルアミンはガラス棒だ」ということは正しい fact2: もしとある物は突き止めないとすれば「それが歴任するしその上それは感じ難いということはない」ということは誤りだ fact3: あるものが感じ難いとすればそれはガラス棒である fact4: もしあのローマ書が歴任する一方でガラス棒でないならばあのトリメチルアミンはガラス棒でない ; $hypothesis$ = あのトリメチルアミンはガラス棒でない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 「あのトリメチルアミンはガラス棒だ」ということは正しい
事実2: もしとある物は突き止めないとすれば「それが歴任するしその上それは感じ難いということはない」ということは誤りだ
事実3: あるものが感じ難いとすればそれはガラス棒である
事実4: もしあのローマ書が歴任する一方でガラス棒でないならばあのトリメチルアミンはガラス棒でない

仮説: あのトリメチルアミンはガラス棒でない
1. 事実1から、仮説が否定される

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