Модель тезис-доказательство-вывод: примеры и схемы