〜に違いない

机の上に山田さんのカバンが置かれたままになっている。彼はまだ会社にいる「に違いない」。

The pattern "～はずだ" (hazu da) expresses a strong expectation or assumption based on logical reasoning, information, or common sense. It means "must be" or "should be," indicating a high probability that something is true or will happen. The speaker has confidence in their deduction, often due to available evidence.

根拠や情報に基づいて、高い確率でそうだろうと推測する時に使います。客観的な状況や常識から考えて、当然そうなるはずだという確信を表します。