Шаблоны доказательств: как строить логические цепочки