If "John promised Bill to leave, so an hour later he left.", does it follow that "John left."
yes