Формализованные процедуры построения конкурирующих гипотез сложных химических реакций