Если исходная гипотеза верна, то поиск решения есть всего-навсего детализация маршрута с помощью анализа фактов.