「あの遺伝子スパイ事件は城勤めである」ということは成り立つ
fact1: あの遺伝子スパイ事件は城勤めである
$facts$ = fact1: あの遺伝子スパイ事件は城勤めである ; $hypothesis$ = 「あの遺伝子スパイ事件は城勤めである」ということは成り立つ ; $proof$ = 
事実1: あの遺伝子スパイ事件は城勤めである

仮説: 「あの遺伝子スパイ事件は城勤めである」ということは成り立つ