明(あ)か()り() akariが gaついている tsuiteiruの noだから dakara、彼(かれ)ら() kareraが ga外(がい)出(しゅつ) gaishutsuした shitaはずがない hazuganai。 The light's on, so they can't have gone out. logicdeduction~はずがない (can't possibly)~のだから (given that / because)
明(あ)か()り() akariが gaついている tsuiteiruから kara彼(かれ) kareは wa家(いえ) ieに niいる iruに ni違(ちが)い()な()い() chigainai。 The light's on, so he must be home. logicdeduction~から (because)~に違いない (must be)
彼(かの)女(じょ) kanojoは wa金(かね)持(も)ち() kanemochiだった dattaに ni違(ちが)い()な()い() chigainai。 She must have been rich. wealthdeduction~に違いない (must be)