Рассматривается реализация логического вывода (прямой цепочки вывода) в интеллектуальных системах на основе колонок. Показано, что области значений и области образов играют роль переменных и предпосылок в правилах вида «ЕСЛИ–ТО».