「あのジュネーヴ諸条約は明かせるかもしくは詳しいかあるいはどちらもである」ということは成り立たない
fact1: あの一般性は明かせる fact2: あのジュネーヴ諸条約は明かせる
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: あの一般性は明かせる fact2: あのジュネーヴ諸条約は明かせる ; $hypothesis$ = 「あのジュネーヴ諸条約は明かせるかもしくは詳しいかあるいはどちらもである」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: あの一般性は明かせる
事実2: あのジュネーヴ諸条約は明かせる

仮説: 「あのジュネーヴ諸条約は明かせるかもしくは詳しいかあるいはどちらもである」ということは成り立たない
1. 事実2から、仮説が否定される

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