John promised Bill to leave, so an hour later *he* left.

Are "John" and "he" the same entity?
yes