9課 モダリティ・推量
Speculation & certainty — はず, よう, らしい, そう, かもしれない
接続：ふつう形（な形は〜な、Nは〜の） ＋ はずだ
It should, certainly be… — the inference has clear grounds (truth, promise, knowledge).
注意 / Note：Do not use for your own wishes: ×私は行くはずです. If reality is different from prediction: 〜はずだったのに／おかしいですね.
比較 / Compare：はずだ（grounded, inferred）／でしょう（emotional）／に違いない（convinced）.
よく出る形 / Common form：〜から、〜はずです。／〜はずだったのに、〜。
彼は今日休みだから、家にいるはずです。
He's off today so he's definitely at home.
約束したから、必ず来るはずだ。
I promised so I will definitely come.
ここにあるはずなんですが、見つかりません。
It should be here but I can't find it.