Craig's lake that isn't disappearing might have melted.
Craig's lake that isn't disappearing did melt.
Озеро Крейга, которое не исчезает, могло бы растаять.
Озеро Крейга, которое не исчезает, действительно растаяло.