Визуализация классификации доказательств: схемы и диаграммы