Компьютеризация содержательного рассуждения на основе силлогистического выводастатья