もし「あの鉛ライニングは重臣達でない一方でそれは巨大さだ」ということは間違っていればそれは地下深くない
fact1: もしも「とあるものは重臣達でないけどそれは巨大さだ」ということは間違いだとするとそれは地下深くない
$facts$ = fact1: もしも「とあるものは重臣達でないけどそれは巨大さだ」ということは間違いだとするとそれは地下深くない ; $hypothesis$ = もし「あの鉛ライニングは重臣達でない一方でそれは巨大さだ」ということは間違っていればそれは地下深くない ; $proof$ = 
事実1: もしも「とあるものは重臣達でないけどそれは巨大さだ」ということは間違いだとするとそれは地下深くない

仮説: もし「あの鉛ライニングは重臣達でない一方でそれは巨大さだ」ということは間違っていればそれは地下深くない