Premisa: por lo tanto, "YR" es tangente a la evoluta y el punto "Y" es el pie de la perpendicular desde "P" a esta tangente
Hipótesis: "Y" está en la podaria de la evoluta
Conector eliminado: en otras palabras,
Etiqueta del conector: entailment
Etiqueta humana (mayoría): entailment