あの四校は引っ越ししなくてそれに改めでない
fact1: この在位前はコンバーチブルでない fact2: 仮にこの在位前がコンバーチブルでないとするとあの四校は引っ越ししなくてしかも改めであるということはない
$facts$ = fact1: この在位前はコンバーチブルでない fact2: 仮にこの在位前がコンバーチブルでないとするとあの四校は引っ越ししなくてしかも改めであるということはない ; $hypothesis$ = あの四校は引っ越ししなくてそれに改めでない ; $proof$ = 
事実1: この在位前はコンバーチブルでない
事実2: 仮にこの在位前がコンバーチブルでないとするとあの四校は引っ越ししなくてしかも改めであるということはない

仮説: あの四校は引っ越ししなくてそれに改めでない