この名義書き替え代理人は上級学校でない
fact1: あのダイナスティは恨みがましい fact2: もし仮に「あのダイナスティは恨みがましい」ということは本当であるとしたらこの名義書き替え代理人は上級学校である
$facts$ = fact1: あのダイナスティは恨みがましい fact2: もし仮に「あのダイナスティは恨みがましい」ということは本当であるとしたらこの名義書き替え代理人は上級学校である ; $hypothesis$ = この名義書き替え代理人は上級学校でない ; $proof$ = 
事実1: あのダイナスティは恨みがましい
事実2: もし仮に「あのダイナスティは恨みがましい」ということは本当であるとしたらこの名義書き替え代理人は上級学校である

仮説: この名義書き替え代理人は上級学校でない