Seol mar théacs é seo: Исследование алгоритмов логического вывода