この国際化は銅像でないかあるいは仰々しいということはないかまたはどちらもだ
fact1: この国際化は平方和でない fact2: この国際化が平方和だということはないならばそれは銅像であるということはないかあるいは仰々しいということはないかあるいは両方ともである
$facts$ = fact1: この国際化は平方和でない fact2: この国際化が平方和だということはないならばそれは銅像であるということはないかあるいは仰々しいということはないかあるいは両方ともである ; $hypothesis$ = この国際化は銅像でないかあるいは仰々しいということはないかまたはどちらもだ ; $proof$ = 
事実1: この国際化は平方和でない
事実2: この国際化が平方和だということはないならばそれは銅像であるということはないかあるいは仰々しいということはないかあるいは両方ともである

仮説: この国際化は銅像でないかあるいは仰々しいということはないかまたはどちらもだ