その選考方法はに過ぎるということはないかそれはがり勉タイプであるかあるいはどちらもだ
fact1: あるものは最高人民会議常任委員会でない fact2: もしも「最高人民会議常任委員会だということはない」ものはあるとすれば「その選考方法はに過ぎないかまたはがり勉タイプである」ということは誤りだ
$facts$ = fact1: あるものは最高人民会議常任委員会でない fact2: もしも「最高人民会議常任委員会だということはない」ものはあるとすれば「その選考方法はに過ぎないかまたはがり勉タイプである」ということは誤りだ ; $hypothesis$ = その選考方法はに過ぎるということはないかそれはがり勉タイプであるかあるいはどちらもだ ; $proof$ = 
事実1: あるものは最高人民会議常任委員会でない
事実2: もしも「最高人民会議常任委員会だということはない」ものはあるとすれば「その選考方法はに過ぎないかまたはがり勉タイプである」ということは誤りだ

仮説: その選考方法はに過ぎるということはないかそれはがり勉タイプであるかあるいはどちらもだ