如果灯亮着，那么他们一定在家

• If the lights were on, they must have been at home.