Premisa: además, como C tiene distancia MS negativa, no es posible que contenga segmentos que ya pertenezcan a S, ya que estos van a tener distancia MS infinita
Hipótesis: los nuevos segmentos en S′ van a ser con distintos puntos
Conector eliminado: por lo tanto
Etiqueta del conector: reasoning
Etiqueta humana (mayoría): neutral