梦幻之“离恨天，灌愁海”非女娲氏所补之天
根据“甄士隐梦幻识通灵”可知，梦幻之“离恨天，灌愁海”，非女娲氏所补之天：
一、女娲氏练石补天，将未用之石弃在大荒山无稽崖青埂峰下。该石因“无材可去补苍天”，虽然没有去女娲氏所之天，但是却被变成“通灵宝玉”，被带梦幻之“离恨天，灌愁海”。故梦幻之“离恨天，灌愁海”，非女娲氏所补之天。
二、神瑛浇灌绛珠草，不仅脱却草胎木质，得换人形，仅修成个女体的绛珠仙子，终日游于“离恨天”外，饥则食密青果为膳，渴则饮“灌愁海”水为汤，就是作为浇灌绛珠草的神瑛，亦是如此。
三、神瑛下凡，在警幻仙子案前挂了号；绛珠下凡，警幻亦曾问及；又有一干风流冤家为之作陪；变成“通灵宝玉”之石头，又被“夹带”于中而“记”。故衔“通灵宝玉”的神瑛及绛珠等，是从梦幻之“离恨天，灌愁海”下凡，而不是从女娲氏所补之天下凡。
四、故贾宝玉林黛玉等离开人间，是归梦幻之“离恨天，灌愁海”，而不是归女娲氏所补之天；故“通灵宝玉”归大荒山无稽崖青埂峰下，复原本质，上面有了神瑛绛珠等，从梦幻之“离恨天，灌愁海”下凡……归梦幻之“离恨天，灌愁海”的《石头记》。