Вид опровержения в примере: «Допустим, прямоугольник – это овал. Если так, то у прямоугольника нет углов. Мы видим, что это не так, следовательно, прямоугольник – это не овал».