Making logical conclusions: must be, can't be, might be, could be
Subject + modal + be + adjective/noun; Subject + modal + be + -ing
Can't/couldn't + be (not mustn't for deduction)
Could it be...? Might she be...?
💡 Mustn't = prohibition, not negative deduction. Use can't for negative certainty.
✓She must be sleeping. (I'm sure)
✗She must sleep. (wrong meaning)
Must be + -ing for present deduction.
✓He can't be the thief. (I'm sure he isn't)
✗He mustn't be the thief.
Can't for negative deduction; mustn't = prohibition.
✓They might have left already.
✗They might left already.
Modal + have + past participle for past.