the cordon is inconspicuous.
sent1: something is gyral. sent2: something is not inconspicuous if that it is not rigid or it is not abnormal or both is false. sent3: if something is a modiolus then that it is not rigid and/or is not abnormal does not hold. sent4: the joint is abnormal if the Congo is not a kind of a modiolus and it is not gyral. sent5: there is something such that it is inconspicuous and it does backstop Aten. sent6: the Congo is inconspicuous or not a modiolus or both. sent7: the joint backstops Aten. sent8: the skyscraper is abnormal and is inconspicuous. sent9: The Aten backstops joint. sent10: the cordon is not inconspicuous if the alkylbenzenesulfonate is a kind of inconspicuous thing that is not rigid. sent11: if something is rigid it does backstop Alhambra. sent12: the fact that there is something such that it backstops Aten is not false. sent13: if the alkylbenzenesulfonate is gyral the cordon is a modiolus. sent14: the cordon is inconspicuous if there is something such that it is gyral and it does backstop Aten. sent15: the alkylbenzenesulfonate is abnormal. sent16: the alkylbenzenesulfonate is rigid if it is abnormal. sent17: if the joint is a modiolus then it is gyral.
sent16 & sent15 -> int1: the alkylbenzenesulfonate is rigid.; int1 -> int2: there is something such that it is rigid.;
the cordon is not inconspicuous.
$hypothesis$ = the cordon is inconspicuous. ; $context$ = sent1: something is gyral. sent2: something is not inconspicuous if that it is not rigid or it is not abnormal or both is false. sent3: if something is a modiolus then that it is not rigid and/or is not abnormal does not hold. sent4: the joint is abnormal if the Congo is not a kind of a modiolus and it is not gyral. sent5: there is something such that it is inconspicuous and it does backstop Aten. sent6: the Congo is inconspicuous or not a modiolus or both. sent7: the joint backstops Aten. sent8: the skyscraper is abnormal and is inconspicuous. sent9: The Aten backstops joint. sent10: the cordon is not inconspicuous if the alkylbenzenesulfonate is a kind of inconspicuous thing that is not rigid. sent11: if something is rigid it does backstop Alhambra. sent12: the fact that there is something such that it backstops Aten is not false. sent13: if the alkylbenzenesulfonate is gyral the cordon is a modiolus. sent14: the cordon is inconspicuous if there is something such that it is gyral and it does backstop Aten. sent15: the alkylbenzenesulfonate is abnormal. sent16: the alkylbenzenesulfonate is rigid if it is abnormal. sent17: if the joint is a modiolus then it is gyral. ; $proof$ = 
sent16 & sent15 -> int1: the alkylbenzenesulfonate is rigid.; int1 -> int2: there is something such that it is rigid.; __UNKNOWN__