充分不必要条件的真包含关系

路水本是佛祖座下一尾锦鲤，与灵猫裴修相识相知相恋。奈何路水自鱼时就有拯救天下的伟大想法，这不，悄咪咪的下了凡间，以为自己是被系统砸中的一个大佬，于是开始戏精的路程。玄门老大裴修在娱乐圈中可是无人不知无人不晓的影帝，然，遇见路水之后就开始懒惰下来。啊啊啊啊！我家影帝怎么还没营业？裴修:追媳妇。裴影帝，你已经半年没更微博了，我好南。裴修:啊？我没说我已经退圈了吗？于是裴影帝的最新微博是:家有锦鲤，媳妇超级香，演戏是什么？我不认识！狗仔们目瞪口呆……...