あの六型ターボプロップ・エンジンはローカル線でない
fact1: 「この計四呼間は湿地環境でない」ということは誤っているならばあの六型ターボプロップ・エンジンはローカル線である fact2: この計四呼間は湿地環境だ
$facts$ = fact1: 「この計四呼間は湿地環境でない」ということは誤っているならばあの六型ターボプロップ・エンジンはローカル線である fact2: この計四呼間は湿地環境だ ; $hypothesis$ = あの六型ターボプロップ・エンジンはローカル線でない ; $proof$ = 
事実1: 「この計四呼間は湿地環境でない」ということは誤っているならばあの六型ターボプロップ・エンジンはローカル線である
事実2: この計四呼間は湿地環境だ

仮説: あの六型ターボプロップ・エンジンはローカル線でない