その単位記号は到着時だ
fact1: 仮にあの横方向モデルが黒っぽくないがしかし執行不能ならばその単位記号は到着時でない fact2: あの横方向モデルは黒っぽくないけど執行不能である
$facts$ = fact1: 仮にあの横方向モデルが黒っぽくないがしかし執行不能ならばその単位記号は到着時でない fact2: あの横方向モデルは黒っぽくないけど執行不能である ; $hypothesis$ = その単位記号は到着時だ ; $proof$ = 
事実1: 仮にあの横方向モデルが黒っぽくないがしかし執行不能ならばその単位記号は到着時でない
事実2: あの横方向モデルは黒っぽくないけど執行不能である

仮説: その単位記号は到着時だ