あの転移性はどでかいということはない
fact1: もしもあの転移性が練り上げないとするとどでかい fact2: あの転移性は練り上げない
$facts$ = fact1: もしもあの転移性が練り上げないとするとどでかい fact2: あの転移性は練り上げない ; $hypothesis$ = あの転移性はどでかいということはない ; $proof$ = 
事実1: もしもあの転移性が練り上げないとするとどでかい
事実2: あの転移性は練り上げない

仮説: あの転移性はどでかいということはない