Компьютеризация рассуждений на основе метода индексов Льюиса Кэрролластатья