Juan partirá para Japón si María no se queda en Venecia. Rosa viajará a Luxemburgo o Juan partirá para Japón. O María no se queda en Venecia o Rosa viajará a Luxemburgo. Por consiguiente, María no se queda en Venecia.