「この空港ビルは使い切らない」ということは正しい
fact1: あの原著は作業し易い fact2: もし仮にあの原著が作業し易いとするとこの空港ビルは使い切る
$facts$ = fact1: あの原著は作業し易い fact2: もし仮にあの原著が作業し易いとするとこの空港ビルは使い切る ; $hypothesis$ = 「この空港ビルは使い切らない」ということは正しい ; $proof$ = 
事実1: あの原著は作業し易い
事実2: もし仮にあの原著が作業し易いとするとこの空港ビルは使い切る

仮説: 「この空港ビルは使い切らない」ということは正しい