あの概算要求はチェック・シートでないかもしくは視覚化しないかあるいは両方だ
fact1: 「日本鉄道建設公団である」物はある fact2: もし仮に「日本鉄道建設公団な」物はあるとすると「あの概算要求はチェック・シートでないかもしくは視覚化しないかまたはどちらもだ」ということは嘘である
$facts$ = fact1: 「日本鉄道建設公団である」物はある fact2: もし仮に「日本鉄道建設公団な」物はあるとすると「あの概算要求はチェック・シートでないかもしくは視覚化しないかまたはどちらもだ」ということは嘘である ; $hypothesis$ = あの概算要求はチェック・シートでないかもしくは視覚化しないかあるいは両方だ ; $proof$ = 
事実1: 「日本鉄道建設公団である」物はある
事実2: もし仮に「日本鉄道建設公団な」物はあるとすると「あの概算要求はチェック・シートでないかもしくは視覚化しないかまたはどちらもだ」ということは嘘である

仮説: あの概算要求はチェック・シートでないかもしくは視覚化しないかあるいは両方だ