その発展形はサービスである
fact1: もしその発展形は数万人だとすれば「サービスである」ということは成り立つ fact2: その発展形は数万人だ
$facts$ = fact1: もしその発展形は数万人だとすれば「サービスである」ということは成り立つ fact2: その発展形は数万人だ ; $hypothesis$ = その発展形はサービスである ; $proof$ = 
事実1: もしその発展形は数万人だとすれば「サービスである」ということは成り立つ
事実2: その発展形は数万人だ

仮説: その発展形はサービスである