あの高名はリストラクチャリングでない
fact1: もしも「あの高名は矯正するしかつそれは錆無い」ということは成り立たないならリストラクチャリングでない fact2: 「あの高名は矯正するし錆無い」ということは間違いだ
$facts$ = fact1: もしも「あの高名は矯正するしかつそれは錆無い」ということは成り立たないならリストラクチャリングでない fact2: 「あの高名は矯正するし錆無い」ということは間違いだ ; $hypothesis$ = あの高名はリストラクチャリングでない ; $proof$ = 
事実1: もしも「あの高名は矯正するしかつそれは錆無い」ということは成り立たないならリストラクチャリングでない
事実2: 「あの高名は矯正するし錆無い」ということは間違いだ

仮説: あの高名はリストラクチャリングでない