the ectoderm is not nonextensile.
sent1: if something barracks eraser then it is not a barker and/or it does not work arsenic. sent2: the movie does barrack eraser if that the suitor is not a sylvite but it does work bandage is false. sent3: the ectoderm is a chloroacetophenone if that the icing is a kind of a backhoe is true. sent4: if the fact that the haywire is a victor but not a deliverable does not hold then the icing is a backhoe. sent5: the ectoderm is not a basalt if there is something such that the fact that it is a kind of nonextensile thing that does not work greatness is not right. sent6: if something is a memorial then the fact that the suitor is not a sylvite and does work bandage does not hold. sent7: the thiothixene is both not a victor and basaltic. sent8: there exists something such that that it is runic and it is non-positive is incorrect. sent9: the ectoderm is not nonextensile if there is something such that it is a basalt. sent10: if there exists something such that that it works greatness and it is not a kind of a basalt does not hold the ectoderm is not nonextensile. sent11: if either the movie is not a barker or it does not work arsenic or both then the ectoderm is not a barker. sent12: if something that is not a barker is a kind of a chloroacetophenone then it is not extensile. sent13: the lathi is a kind of a memorial. sent14: there exists something such that that it works greatness and it is a kind of a basalt is incorrect. sent15: there exists something such that the fact that it is both a dust and not a holiday is not right.
the ectoderm is nonextensile.
sent12 -> int1: if the ectoderm is not a barker but it is a kind of a chloroacetophenone then that it is nonextensile is true.; sent1 -> int2: if the movie barracks eraser it is not a barker and/or does not work arsenic.; sent13 -> int3: there exists something such that it is a memorial.; int3 & sent6 -> int4: the fact that the suitor is not a sylvite but it works bandage is not true.; sent2 & int4 -> int5: the movie barracks eraser.; int2 & int5 -> int6: the movie is not a barker or it does not work arsenic or both.; sent11 & int6 -> int7: the ectoderm is not a kind of a barker.; sent7 -> int8: the thiothixene is not a victor.; int8 -> int9: there is something such that the fact that it is not a kind of a victor is not wrong.;
$hypothesis$ = the ectoderm is not nonextensile. ; $context$ = sent1: if something barracks eraser then it is not a barker and/or it does not work arsenic. sent2: the movie does barrack eraser if that the suitor is not a sylvite but it does work bandage is false. sent3: the ectoderm is a chloroacetophenone if that the icing is a kind of a backhoe is true. sent4: if the fact that the haywire is a victor but not a deliverable does not hold then the icing is a backhoe. sent5: the ectoderm is not a basalt if there is something such that the fact that it is a kind of nonextensile thing that does not work greatness is not right. sent6: if something is a memorial then the fact that the suitor is not a sylvite and does work bandage does not hold. sent7: the thiothixene is both not a victor and basaltic. sent8: there exists something such that that it is runic and it is non-positive is incorrect. sent9: the ectoderm is not nonextensile if there is something such that it is a basalt. sent10: if there exists something such that that it works greatness and it is not a kind of a basalt does not hold the ectoderm is not nonextensile. sent11: if either the movie is not a barker or it does not work arsenic or both then the ectoderm is not a barker. sent12: if something that is not a barker is a kind of a chloroacetophenone then it is not extensile. sent13: the lathi is a kind of a memorial. sent14: there exists something such that that it works greatness and it is a kind of a basalt is incorrect. sent15: there exists something such that the fact that it is both a dust and not a holiday is not right. ; $proof$ = 
__UNKNOWN__