использование обратной цепочки умозаключений(один из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямой цепочке ход рассуждений начинается от фактов ssn); цепочка обратного логического вывода(ssn)