その高層培地はどでかい
fact1: あの引き直し計算は生じ易いがしかし読み続けるということはない fact2: もしあの引き直し計算が生じ易い一方で読み続けないならばその高層培地はどでかくない
$facts$ = fact1: あの引き直し計算は生じ易いがしかし読み続けるということはない fact2: もしあの引き直し計算が生じ易い一方で読み続けないならばその高層培地はどでかくない ; $hypothesis$ = その高層培地はどでかい ; $proof$ = 
事実1: あの引き直し計算は生じ易いがしかし読み続けるということはない
事実2: もしあの引き直し計算が生じ易い一方で読み続けないならばその高層培地はどでかくない

仮説: その高層培地はどでかい