Verifying Statements

If I go to bed late, then I'm tired. (True)
If I'm tired, then I go to bed late. (False)
If I don't go to bed late, then I'm not be tired. (False)
If I'm not tired, then I won't go to bed late. (True)