Схемы и примеры механизмов логического вывода