王红和唐丽至少有一人去西藏旅游。如果王红去西藏，那么陈娜一定知道。如果唐丽去了西藏，那么祝云一定同行。事实上陈娜不知道王红去西藏旅游。