Звучит как типичная проблема с конечным автоматом. Считай каждую дверь переходом, защищенным условием – как только условие выполнено, переходи в следующее состояние. Тебе нужно просто прописать все состояния и убедиться, что в графе нет недостижимых узлов. Если добавишь немного рекурсии для обхода лабиринта, циклы сразу же станут видны. Попробуй и веди журнал пути; ошибки обычно вылезают там, где условия пересекаются.