あの本部会社は大きくない
fact1: 「あの本部会社は成され易い」ということは成り立つ fact2: もし仮にあの本部会社が成され易いならばそれは大きい
$facts$ = fact1: 「あの本部会社は成され易い」ということは成り立つ fact2: もし仮にあの本部会社が成され易いならばそれは大きい ; $hypothesis$ = あの本部会社は大きくない ; $proof$ = 
事実1: 「あの本部会社は成され易い」ということは成り立つ
事実2: もし仮にあの本部会社が成され易いならばそれは大きい

仮説: あの本部会社は大きくない