前提: 先週日曜のプロポーズがうまくいっていたのなら、太郎は今日、婚約者を連れてくるはずだ。
仮説: もし先週日曜のプロポーズがうまくいっていたのなら、太郎は今日、婚約者を連れてくるはずだ。