「そのＦＤＩＣは分散オブジェクトシステムである」ということは真実だ
fact1: あの各室が亡命するとすればそのＦＤＩＣは分散オブジェクトシステムである fact2: あの各室は亡命する
$facts$ = fact1: あの各室が亡命するとすればそのＦＤＩＣは分散オブジェクトシステムである fact2: あの各室は亡命する ; $hypothesis$ = 「そのＦＤＩＣは分散オブジェクトシステムである」ということは真実だ ; $proof$ = 
事実1: あの各室が亡命するとすればそのＦＤＩＣは分散オブジェクトシステムである
事実2: あの各室は亡命する

仮説: 「そのＦＤＩＣは分散オブジェクトシステムである」ということは真実だ